（＊）について、

右辺はp(n)^2の倍数


左辺について

農[k=1 to p(n)]√(p(n)^2-k^2)<農[k=1 to p(n)]√p(n)^2=p(n)^2

よって農[k=1 to p(n)]√(p(n)^2-k^2)はp(n)^2の倍数でない。

また、aもp(n)を因数に持たない。

よって左辺はp(n)^2の倍数でない。

これは右辺がp(n)^2の倍数であることに矛盾


どうでしょうか？極限において+∞となるp(n)に対して「p(n)の倍数」といった概念は導入できるのでしょうか？