ルジャンドル予想
任意の自然数xについて
x^2<p<(x+1)^2となる素数pが必ず存在する