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

より先に，ロックスは

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

　　Ａ＝０．０６５

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

　経験的定数０．０６５は

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

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

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

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