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