ベルトランの仮説

ベルトランの仮説（）とは、フランスの数学者ジョゼフ・ベルトランが1845年に発表した、という命題である。
 とも言い換えられる。ベルトランはこの命題を の場合に検証し、一般の場合についての予想として提出した。この命題は実際には1852年にチェビシェフによって証明されており、現在ではベルトラン＝チェビシェフの定理（）、数論におけるチェビシェフの定理（）とも呼ばれている。
証明.
初等的な証明.
最初に得られたチェビシェフによる証明はガンマ関数を使った高度なものであった。のちに、ポール・エルデシュが高校生のときに初等的な証明を与えた。
一松信は、エルデシュによる初等的な証明をさらに解きほぐしたものを『数研通信』70号（2011年5月）に著した。
2013年5月には、より強い評価式による証明が発表された。
証明.
その証明の概略は次の通りである。背理法による。
素数定理による証明.
素数定理により、 が十分大きいときには と の間の素数の個数は formula_2 に近いことが言え、特にベルトランの仮説によって保証されている1つの素数の存在よりもより強く、より多くの素数が と の間に存在していることが分かる。しかしここで素数定理をベルトランの仮説の証明に用いるためには、 と の間の実際の素数の個数が formula_2 からどれだけずれているのかを評価しなければならない。この評価を得ることは可能だが、証明は入り組んだものになるし、チェビシェフによるベルトランの仮説の証明は素数定理の証明よりも前に得られていた。
ゴールドバッハの予想による証明.
ゴールドバッハの予想を真と仮定すれば、ベルトランの仮説は簡単に示せる。
この方向で次もいえる。 を満たす素数 が存在しないような正整数 が存在する時、 以上の偶数は、2つの素数と13個の2の冪の和として表せない（上記から2つの素数の和として表せないのは自明であり、そこから導ける）。そして、 と は両方、4つの素数の和として表せない。逆に、 と が両方、5つ以上の素数の和としてしか表せないような正整数 が存在する時、その5つ以上のうちの最大素数は 以下である。
一般化.
ポール・エルデシュはこの命題の一般化として次の命題を証明した。