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