_______ \/ x - 5 <= x - 7
sqrt(x - 5) <= x - 7
[9, oo)
x in Interval(9, oo)
And(9 <= x, x < oo)
(9 <= x)∧(x < oo)