>>370
>仮定しているのは任意のnに対して、n^2<p<(n+1)^2となる素数pが存在しないことだ。

任意のnってお前…
とりあえず、この任意のnって、
∃nの意味？∀nの意味？