/ 2\ |/7 - x\ | /x + 1\ log||-----| | log|-----| \\x + 1/ / \x - 7/ ------------- <= 1 - ---------- log(x + 8) log(x + 8)
log(((7 - x)/(x + 1))^2)/log(x + 8) <= -log((x + 1)/(x - 7))/log(x + 8) + 1
Or(And(-8 <= x, x < -7), And(-5 <= x, x <= -3), And(7 < x, x < oo))
((-8 <= x)∧(x < -7))∨((-5 <= x)∧(x <= -3))∨((7 < x)∧(x < oo))
[-8, -7) U [-5, -3] U (7, oo)
x in Union(Interval.Ropen(-8, -7), Interval(-5, -3), Interval.open(7, oo))