| 2 | | 2| |x - 16*x + 36| <= |36 - x |
|x^2 - 16*x + 36| <= |36 - x^2|
Or(And(0 <= x, x <= 9/2), And(8 <= x, x < oo))
((0 <= x)∧(x <= 9/2))∨((8 <= x)∧(x < oo))
[0, 9/2] U [8, oo)
x in Union(Interval(0, 9/2), Interval(8, oo))