>>526
α^2+β^2=(α+β)^2-2αβ<1 → p^2-2q<1