√nが分数の形をした有理数になることはない
有理数であるならつねに整数になるわけだから、題意が成立しないなら平方数の間隔が2以下になる