ルジャンドル予想を証明したかもしれない [無断転載禁止]©2ch.net

[0030 １３２人目の素数さん 2016/07/02(土) 09:48:11.25 ID:QCEnlILu]

>>28に追加
P(x)=x-1-(Li(x^2+x-1)-Li(x^2-1))？

ここで、Li(x)は（補正）対数積分で
Li(x)=∫[t=2,x]1/ln(t)dt