■素数を数えるチェビシェフ関数(その4)

【1】nと2nの間に素数がある

 1845年にフランスの数学者ベルトランは任意の数nと2nの間には少なくとも一つの素数pが存在する(n<p≦2n),同じことですが素数pの次の素数は2pより小さい(pk+1 <2pk )という予想を立てました.

 50年以上たって,ロシアの数学者チェビシェフがベルトランの仮説を証明しました.この証明は彼が実に18才のときだったそうですから,「栴檀は双葉よりの芳し」の諺のごとくです.チェビシェフの定理によって,素数の分布には何らかの秩序が存在していることになります.

 さらに,チェビシェフは1852年に,十分大きなxについてπ(x)/(x/logx)がc1=0.92129とc2=1.10555の間にあるという結果を得ています.

  c1x/logx<π(x)<c2x/logx

 実はチェビシェフはもっと狭い範囲の中にも必ず素数が存在することを証明したのですが,1911年,イタリアの数学者ボノリスがnと3n/2の間にある素数の個数の近似式を導きました.

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