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