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

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

を証明したのは

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

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

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

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

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

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

　実は，

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

より先に，ロックスは

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

　　Ａ＝０．０６５

を与えた（１９６１年）．

　経験的定数０．０６５は

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

で，ロックスの結果は正しかったことになる．

　あいにく，彼の論文は何年も実質上知られないままであった．

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