log(2.0)*4*(x - 9) < 1
(4*log(2.0))*(x - 9) < 1
And(-oo < x, x < 9.36067376022224)
(-oo < x)∧(x < 9.36067376022224)
(-oo, 9.36067376022224)
x in Interval.open(-oo, 9.36067376022224)