| 2 | |x - 8| <= 2*x
|x^2 - 8| <= 2*x
[2, 4]
x in Interval(2, 4)
And(2 <= x, x <= 4)
(2 <= x)∧(x <= 4)