整数のpとするというのは、pを整数という変数型で扱うということであり
n=1やn=2のときに
n^2<p<(n+1)^2
となる素数であるpが存在することは以下のように確かめられる。
n=1のときに、1<p<4で、p=2,3
n=2のときに、4<p<9で、p=5,7
となり、確かに素数pが存在するとしても、何の問題もない。

何故このような簡単な内容に文句を言う人間がいるのか理解不能だ。