ベルトラン仮説や算術級数定理のような素数に関する素朴でシンプルな定理あれば教えてください
(上のレーニの定理は少し複雑だなという感想です)