log(x) <= log(31) + log(2.6)
log(x) <= log(2.6) + log(31)
And(0 < x, x < 80.6)
(0 < x)∧(x < 80.6)
(0, 80.6)
x in Interval.open(0, 80.6000000000000)