________ / 2 \/ x + 3 <= 1 + x
sqrt(x^2 + 3) <= x + 1
[1, oo)
x in Interval(1, oo)
And(1 <= x, x < oo)
(1 <= x)∧(x < oo)