【２】エルデシュによる初等的証明

　チェビシェフは，漸近評価

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

を得るために，オイラーによって１７４０年に考案されたゼータ関数（のちにリーマンがこの名前を付けた）やガンマ関数を利用しましたが，ベルトランの仮説に対しては，ずっと簡単な証明がラマヌジャンやエルデシュ（１９３２年，１９歳）によって与えられています．

　この結果を得るのには非常に巧みな組み合わせ的推論が用いられているのですが，エルデシュはまず二項係数の中央の値

　　ｃn＝2nＣn＝（２ｎ）！／（ｎ！）^2

を考えます．

　これは整数であり，素因数分解するとｎより大きく２ｎ以下の素数があれば，それらはすべて１乗の形の積として現れます．もしもその間に素数がなければ，ｎ以下の素数の積で表されるはずです（実はさらに２ｎ／３以下の素数の積なります．２ｎ／３より大きくｎ以下の素数は分子に２回，分母に２回現れて約分される）．

　ｎまでの素数全体の積は大体ｅ^n暗いというのが素数定理のひとつの表現なのですが，もっと粗く４^nというのなら数学的帰納法で容易に証明できます．ｎと２ｎの間に素数がないならおおざっぱにいって

　　ｃn≦４^(2n/3)

ですが，これはｃn〜４^nという事実に反します．

　以下は割愛しますが，証明の一部は不等式

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

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

　　４^n／２≦2nＣn≦４^n

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

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

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

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

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

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

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