>>365
AIの
>ルジャンドル予想の否定は、論理的に次の形です：

の「否定」を読み飛ばしてるぞー

「全てのnに対して
n^2<p<(n+1)^nが成立する、素数pが存在する」の否定なんだから、nが存在するだぞー