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