______________ / 2 \/ 3 + 2*x - x <= x
sqrt(-x^2 + 2*x + 3) <= x
/ ___ \ | 1 \/ 7 | And|x <= 3, - + ----- <= x| \ 2 2 /
(x <= 3)∧(1/2 + sqrt(7)/2 <= x)
___ 1 \/ 7 [- + -----, 3] 2 2
x in Interval(1/2 + sqrt(7)/2, 3)