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