/ ___ \ 5*\x - 6*\/ x + 8/ ___ ------------------- <= \/ x - 2 x - 16
(5*(-6*sqrt(x) + x + 8))/(x - 16) <= sqrt(x) - 2
Or(And(0 <= x, x <= 1), And(4 <= x, x < 16), And(16 < x, x < oo))
((0 <= x)∧(x <= 1))∨((4 <= x)∧(x < 16))∨((16 < x)∧(x < oo))
[0, 1] U [4, 16) U (16, oo)
x in Union(Interval(0, 1), Interval.Ropen(4, 16), Interval.open(16, oo))