x ≥0 and x ≤-4y^2 + 3