User blog comment:Googleaarex/SGH Functions/@comment-25418284-20130404163840/@comment-5150073-20130407082511

But from article in wikipedia about SGH some "Girard" proved that g_BHO(n) ~ f_e_0(n). I know that wikipedia cites only rigorously proven facts.