√(a-x) ≥ x^2-a