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