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