log(x) <= log(16) + log(2.9)
log(x) <= log(2.9) + log(16)
And(x <= 46.4, 0 < x)
(x <= 46.4)∧(0 < x)
(0, 46.4]
x in Interval.Lopen(0, 46.4000000000000)