________ \/ -x + 5 >= -2*x + 4
sqrt(5 - x) >= 4 - 2*x
[1, 5]
x in Interval(1, 5)
And(1 <= x, x <= 5)
(1 <= x)∧(x <= 5)