log(x + 1)*2 <= log(3 - x)*2
2*log(x + 1) <= 2*log(3 - x)
And(x <= 1, -1 < x)
(x <= 1)∧(-1 < x)
(-1, 1]
x in Interval.Lopen(-1, 1)