___ \/ x + 3 >= x + 1
sqrt(x) + 3 >= x + 1
[0, 4]
x in Interval(0, 4)
And(0 <= x, x <= 4)
(0 <= x)∧(x <= 4)