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