log(x - 1) + log(x + 1) < 3*log(2) + log(x - 2)
log(x - 1) + log(x + 1) < log(x - 2) + 3*log(2)
(3, 5)
x in Interval.open(3, 5)
And(3 < x, x < 5)
(3 < x)∧(x < 5)