_______ \/ 3 - x >= 1 - x
sqrt(3 - x) >= 1 - x
[-1, 3]
x in Interval(-1, 3)
And(-1 <= x, x <= 3)
(-1 <= x)∧(x <= 3)