■オイラーの素数生成公式とラビノヴィッチの定理(その5)
exp(π√163)=640320^3+744−ε
ε=7.5×10^-13
===================================
[1]虚2次体Q(√−d)の類数が1である最大のdは163である.
[2]41=(163+1)/4より,n^2+n+41は0≦n<40に対して素数となる.
[3]exp(π√163)は整数にものすごく近い.その整数とは
744−j(1/2+i√163/2).
ここで,j(z)はモジュラー関数で
j(z)=exp(−2iπz)+744+196884exp(2iπz)+・・・
j(i)=12^3=1728
[4][log(640320^3+744)/π]^2=163+2.32×10^-33)・・・整数にものすごく近い.
===================================