>>6
途中まで自力で考えて、pと2pの間にたぶん素数があるんだろうって
予想したんだが(ベルトランならぬ俺の仮説w)、証明できそうにないので
ズルして検索したらばっちりベルトランの仮説が引っかかったという次第w

エルデシュが初頭的な証明を考えたらしいが、pが素数だともっと簡単に
証明できんかな?