___ ___ ____ \/ 3 - x < \/ 7 + x + \/ 10 + x
-x + sqrt(3) < x + x + sqrt(7) + sqrt(10)
/ ___ ____ ___ \ | \/ 7 \/ 10 \/ 3 | And|x < oo, - ----- - ------ + ----- < x| \ 3 3 3 /
(x < oo)∧(-sqrt(7)/3 - sqrt(10)/3 + sqrt(3)/3 < x)
___ ____ ___ \/ 7 \/ 10 \/ 3 (- ----- - ------ + -----, oo) 3 3 3
x in Interval.open(-sqrt(10)/3 - sqrt(7)/3 + sqrt(3)/3, oo)