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