log(1) log(1) ------*(x + 1) >= ------*(3 - x) 3 3
(log(1)/3)*(x + 1) >= (log(1)/3)*(3 - x)
(-oo, oo)
x in Interval(-oo, oo)
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)