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