[6] (n,2n]を満たす素数が必ず存在する（チェビシェフ、１８５２年)

予想：(n^2,(n+1)^2]を満たす素数が必ず存在する（ルジャンドル）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　１８５０年に，ロシアの数学者チェビシェフは，ベルトランの仮説と呼ばれる命題：任意の数ｎと２ｎの間には少なくとも一つの素数ｐが存在する（ｎ＜ｐ≦２ｎ），あるいは同じことですが，素数ｐの次の素数は２ｐより小さい（ｐk+1 ＜２ｐk ）という定理を証明しました．

　この証明は彼が実に１８才のときだったそうですから，「栴檀は双葉よりの芳し」の諺のごとくです．チェビシェフの定理によって，素数の分布には何らかの秩序が存在していることになります．（なお，ベルトランの仮説に対しては，ずっと簡単な証明がラマヌジャンやエルデシュ（１９３２年，１９歳）によって与えられています．）

　さらに，チェビシェフは１８５２年に，十分大きなｘについてπ（ｘ）／（ｘ／ｌｏｇｘ）がｃ1＝０．９２１２９とｃ2＝１．１０５５５の間にあるという結果を得ています．

　　ｃ1ｘ／ｌｏｇｘ＜π（ｘ）＜ｃ2ｘ／ｌｏｇｘ

　この漸近評価を得るためにチェビシェフは，オイラーによって１７４０年に考案されたゼータ関数（のちにリーマンがこの名前を付けた）を利用しました．また，この結果を得るのには非常に巧みな組み合わせ的推論が用いられているのですが，漸近評価の一部は不等式

　　２^2n／（２ｎ＋１）≦2nＣn≦２^2n

に基づいています．上界はΣ2nＣk＝２^2nより明らか，下界は２ｎ＋１個の二項係数の中で2nＣnが最大であり，平均が２^2n／（２ｎ＋１）であることから証明されます．この評価は簡単ではありますが，かなり正確です．

　2nＣnについては，さらに正確な評価を与える

　　２^2n／（２√ｎ）≦2nＣn≦２^2n／√２ｎ

などの評価式もしばしば使われます．また，スターリングの公式を使うとより精密な結果

　　2nＣn〜２^(2n)／√（πｎ）

が得られますが，この評価は数論，素数定理などとも関係しています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝