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