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