>>561
n^2+1の形の素数は無数に存在し、n^2+1> 2n+√(2n)だから証明された。