2x^2 - 1 ≥ y