0 <= x <= 1 AND (1-x)^(1/2) >= x OR x > 1 AND (x-1)^(1/2) >= x