solve(sqrt(2*a-x^2) >= a-x, x)