>>949
n=p^2 の部分の確認計算が 少し面倒になっているから
そこの部分で違いがでてくる。p,3p,5p,7p とかいうふうにやれば
楽そうだけど 7p≦2p^2-1 はp≧5で成立するので p=3は別にやる必要がある。
p=3で場合を分けたくない場合はたとえば指数公式で計算するのが楽。