_________ \/ 4*x + 5 < x
sqrt(4*x + 5) < x
And(5 < x, x < oo)
(5 < x)∧(x < oo)
(5, oo)
x in Interval.open(5, oo)