log(x)*6 > log(x)*12
6*log(x) > 12*log(x)
(0, 1)
x in Interval.open(0, 1)
And(0 < x, x < 1)
(0 < x)∧(x < 1)