_______ \/ x + 4 <= x - 2
sqrt(x + 4) <= x - 2
And(5 <= x, x < oo)
(5 <= x)∧(x < oo)
[5, oo)
x in Interval(5, oo)