τn＝（１２ｌｏｇ２／π^2）・ｌｏｇｎ＋Ｃ＋Ｏ（ｎ^-1/6+ε）

　　Ｃ＝６ｌｎ２／π^2・｛３ｌｎ２＋４γ−２４π^-2ζ’（２）−２｝−１／２＝１．４６７０７８０７９４

を証明したのは

　　Porter JW: MathematiKa 22(1975),20/28

である．この公式の値と正確な値との比は，ｎが大きくなるにつれては１に近づく．

　γはオイラーの定数：０．５７７・・・

　ζ’（２）はゼータ関数の導関数の２における値

ひとつの公式にこれほどいろいろな数学定数がはいってくる問題は，そう簡単には見つからないだろう．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝