______________ / 2 \/ x - 5*x + 4 <= 2*x + 2
sqrt(x^2 - 5*x + 4) <= 2*x + 2
Or(And(0 <= x, x <= 1), And(4 <= x, x < oo))
((0 <= x)∧(x <= 1))∨((4 <= x)∧(x < oo))
[0, 1] U [4, oo)
x in Union(Interval(0, 1), Interval(4, oo))