x - y^2 <= x^2