4*x + 1 x + 2*x + 2 >= ------- x + 4
x + 2*x + 2 >= (4*x + 1)/(x + 4)
Or(And(-1 <= x, x < oo), And(x <= -7/3, -4 < x))
((-1 <= x)∧(x < oo))∨((x <= -7/3)∧(-4 < x))
(-4, -7/3] U [-1, oo)
x in Union(Interval.Lopen(-4, -7/3), Interval(-1, oo))