>>894

( x - (p/q) )^2 + ( y - (1/(2q^2)) )^2 ≦ (1/(2q^2))^2

が任意の実数xに対して成り立つことってない気がするんだが。
他にどっかまちがえてない？