>>395
あれ、素数の距離って最大値がある証明はなかったか
だが無限の自然数の中で素数の距離がどんどん大きくなるなら、最終的に素数の上限があるって話にならね？
だからなんかそれ系の証明があった希ガス