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