>>524
>少なくとも１つのあるnに対してだけLegendre予想が真になる

それはルジャンドル予想じゃないです
ルジャンドル予想は∀n∈自然数,∃p∈素数［n^2<p<(n+1)^2］というように
全称命題です

>少なくとも１つのあるnに対してだけLegendre予想が真になる

という言葉にはなりません。

証明すべき命題をそもそも間違えています