log(x) <= log(12) + log(2.9)
log(x) <= log(2.9) + log(12)
And(x <= 34.8, 0 < x)
(x <= 34.8)∧(0 < x)
(0, 34.8]
x in Interval.Lopen(0, 34.8000000000000)