p = √(y/x)
(1/p) + p ≦ (1/p)^2 + p^2
q = (1/p) + p ≧ 2
q ≦ q^2 -2
0 ≦ (q-2)(q+1)