_______________ ____________ / 2 / 2 \/ x - 7*x + 10 <= 2 - \/ x + x - 2
sqrt(x^2 - 7*x + 10) <= 2 - sqrt(x^2 + x - 2)
{1, 2}
x in FiniteSet(1, 2)
Or(x = 1, x = 2)
(x = 1)∨(x = 2)