_____ \/ 7*x + 8 < x
sqrt(7*x) + 8 < x
/ _____ \ | 23 \/ 273 | And|x < oo, -- + ------- < x| \ 2 2 /
(x < oo)∧(23/2 + sqrt(273)/2 < x)
_____ 23 \/ 273 (-- + -------, oo) 2 2
x in Interval.open(sqrt(273)/2 + 23/2, oo)