_______ \/ x + 3 <= x - 3
sqrt(x + 3) <= x - 3
[6, oo)
x in Interval(6, oo)
And(6 <= x, x < oo)
(6 <= x)∧(x < oo)