/ 2 \ log\x , x - 1/ <= 1
log(x^2, x - 1) <= 1
[1, 2)
x in Interval.Ropen(1, 2)
And(1 <= x, x < 2)
(1 <= x)∧(x < 2)