___ \/ x - 3 <= x - 5
sqrt(x) - 3 <= x - 5
[4, oo)
x in Interval(4, oo)
And(4 <= x, x < oo)
(4 <= x)∧(x < oo)