（その６）において，

　　Σ(1,n)klogk〜∫(1,n)xlogxdx+(f(n)+f(1))/2+ΣB2k/(2k)!(f^(2k-1)(n)-f^(2k-1)(1))+R

のベルヌーイ数を

　　Ｂ2k＝（−１）^k-1 ・２（２ｋ）！／（２π）^2k・ζ（２ｋ）

で置き換えると，

　　Σ(1,n)klogk〜∫(1,n)xlogxdx+(f(n)+f(1))/2+Σ2(-1)^k-1/(2π)^2kζ(2k)(f^(2k-1)(n)-f^(2k-1)(1))+R

となって，ゼータ関数との関係が明らかになった．

　さらに，

　　Σklogk〜(n^2/2+n/2+1/12)･logn-n^2/4+C

　　C=1/4-1/720+1/5040-1/10080+･･･

となったが，定数Ｃは

　　Ｃ＝１／１２−ζ’（−１）

で与えられることもわかった．ここで，ｅｘｐ（Ｃ）はグレイシャー（Glaisher）の定数と呼ばれるものである．

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

　ここでは，

　　Σｌｏｇｋ

について考えてみる．

　　ｆ（ｘ）＝ｌｏｇｘ ｆ^(5)（ｘ）＝２４／ｘ^5

　　ｆ’（ｘ）＝１／ｘ 　　ｆ^(6)（ｘ）＝−１２０／ｘ^6

　　ｆ”（ｘ）＝−１／ｘ^2 ｆ^(7)（ｘ）＝７２０／ｘ^7

　　ｆ^(3)（ｘ）＝２／ｘ^3 ｆ^(8)（ｘ）＝−５０８０／ｘ^8

　　ｆ^(4)（ｘ）＝−６／ｘ^4 ｆ^(9)（ｘ）＝４０６４０／ｘ^9

より，

　　ｆ^(k)（ｘ）＝(-1)^k-1（ｋ−１）！／ｘ^k

　　ｆ^(2k-1)（ｘ）＝（２ｋ−２）！／ｘ^2k-1

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

　　Σ(1,n)logk〜∫(1,n)logxdx-(f(n)+f(1))/2+ΣB2k/(2k)!(f^(2k-1)(n)-f^(2k-1)(1))+R

　　∫(1,n)logxdx=[xlogx]-∫(1,n)dx=nlogn-n+1

　　(f(n)+f(1))/2=logn/2

　　(f'(n)-f'(1))/12=1/12･(1/n-1)

　　(f^(3)(n)-f^(3)(1))/720=(2/n^3-2)/720

　　(f^(5)(n)-f^(5)(1))/30240=(24/n^5-24)/30240

　　(f^(7)(n)-f^(7)(1))/1209600=(720/n^7-720)/1209600

　　B2k/(2k)!(f^(2k-1)(n)-f^(2k-1)(1))=B2k/(2k)!（２ｋ−２）！（１／ｘ^2k-1−１）→-B2k/(2k)(2k-1)

　　Σlogk〜(n+1/2)･logn-n

　　C=1-1/12+1/360-1/1260+1/1680--･･･

定数Ｃは

　　Ｃ＝１／２・ｌｏｇ２π＝−ζ’（０）

で与えられる．

　　Σlogk〜(n+1/2)･logn-n+1-ΣB2k/(2k)(2k-1)

　　k=1~

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