_______ \/ 7 + x >= -2*x
sqrt(x + 7) >= -2*x
/ _____ \ |1 \/ 113 | And|- - ------- <= x, x < oo| \8 8 /
(x < oo)∧(1/8 - sqrt(113)/8 <= x)
_____ 1 \/ 113 [- - -------, oo) 8 8
x in Interval(1/8 - sqrt(113)/8, oo)