>>52
n^2<p<n(n+1)の間にある整数が全て合成数であると矛盾が出たところで、pが素数になる理由はないわけよ

だって、n^2<p<n(n+1)の間には合成数と素数があるって話なので、pが必ず素数になることを意味しないんだからw