/ 2\ / 3 2\ log\9*x - 4*x / >= log\x + 4*x /
log(-4*x^2 + 9*x) >= log(x^3 + 4*x^2)
And(x <= 1, 0 < x)
(x <= 1)∧(0 < x)
(0, 1]
x in Interval.Lopen(0, 1)