sqrt(a-x) < x^2-a