>>4
これ検索したら出たやつだ。
ベルトラン＝チェビシェフて何やねんって諦めた。
その初等的な証明をエルデシュや、最近の人がやっていたと思う。