おかしいと思う所はpより大きい素数は存在しないという前提なのに
pより大きいある素数をとってこれる⇒nは合成数
といってるとこ
nは合成数と仮定する⇒pより大きい素数が存在する(矛盾)
ならいいと思う