y^2-3 <= x