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