________________ ___ ___ / ___ 59 \/ 3 \/ 3 *\/ 115 + 14*\/ 3 [0, -- + ----- - -------------------------] 49 7 49
x in Interval(0, -sqrt(3)*sqrt(14*sqrt(3) + 115)/49 + sqrt(3)/7 + 59/49)
/ ________________\ | ___ ___ / ___ | | 59 \/ 3 \/ 3 *\/ 115 + 14*\/ 3 | And|0 <= x, x <= -- + ----- - -------------------------| \ 49 7 49 /
(0 <= x)∧(x <= 59/49 + sqrt(3)/7 - sqrt(3)*sqrt(115 + 14*sqrt(3))/49)