log(x) + log(x - 1) < log(3)*2 + 1
log(x) + log(x - 1) < 1 + 2*log(3)
/ __________\ | 1 \/ 1 + 36*E | And|1 < x, x < - + ------------| \ 2 2 /
(1 < x)∧(x < 1/2 + sqrt(1 + 36*E)/2)
__________ 1 \/ 1 + 36*E (1, - + ------------) 2 2
x in Interval.open(1, 1/2 + sqrt(1 + 36*E)/2)