0 \leq x^2 \leq x^2 + y^2