■1000!/10^250は整数であるか? (その13)

 (その12)において,

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

のベルヌーイ数を

  B2k=(−1)^k-1 ・2(2k)!/(2π)^2k・ζ(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+・・・

となったが,定数Cは

  C=1/12−ζ’(−1)

で与えられることもわかった.ここで,exp(C)はグレイシャー(Glaisher)の定数と呼ばれるものである.

===================================