(x, y) ∈ R^2 : x^2*y ≤ 1