■2^340−1は素数であるか? (その31)
チェビシェフの定理は
pn+1<2pn (n≧1)
であるが,
pn+2≦pn+pn+1 (n≧2)が成り立つ.
===================================
【1】オッパーマン予想
ルジャンドル予想とは,n^2と(n+1)^2の間には少なくともひとつの素数が存在するだろうというものである.この命題は後述するアンドリカ予想とオッパーマン予想から導かれる.また,後述するクラーメル予想により,十分に大きな数に対して,ルジャンドル予想は正しいことが導かれる.
[1]アンドリカ予想
pnをn番目の素数とすると,{pn+1}^1/2−{pn}^1/2<1
[2]ブロカール予想
{pn}^2と{pn+1}^2の間には少なくとも4う以上の素数が存在する.
[3]クラーメル予想
pn+1−pn<C・(logpn)^2
[4]フィローツバークト予想
{pn}^1/n>{pn+1}^1/(n+1)
===================================