>>553の
--------
＞「少なくとも１つのnに対して、n^2<N<(n+1)^2を満たすNのうち少なくとも１つが素数になる。」

＞それはルジャンドル予想ではありません。
上記をルジャンドル予想だとは言っていない
-----
について、>>529にて高木くんは
>少なくとも１つのnに対してLegendre予想が真になる

と言っています。これは「少なくとも１つのnに対して、n^2<N<(n+1)^2を満たすNのうち少なくとも１つが素数になる。」を意味していると思いますが、

違うなら>>529の
>少なくとも１つのnに対してLegendre予想が真になる
この「Legendre予想」とは何でしょうか