_______ \/ x + 7 < x
sqrt(x + 7) < x
/ ____ \ | 1 \/ 29 | And|x < oo, - + ------ < x| \ 2 2 /
(x < oo)∧(1/2 + sqrt(29)/2 < x)
____ 1 \/ 29 (- + ------, oo) 2 2
x in Interval.open(1/2 + sqrt(29)/2, oo)