___ \/ 7 + x >= 7 - 2*x
x + sqrt(7) >= 7 - 2*x
___ 7 \/ 7 [- - -----, oo) 3 3
x in Interval(7/3 - sqrt(7)/3, oo)
/ ___ \ |7 \/ 7 | And|- - ----- <= x, x < oo| \3 3 /
(x < oo)∧(7/3 - sqrt(7)/3 <= x)