2 log(3 - 2*x) 2 x *------------ >= log (24*x) - 12*x + 9 log(64)
x^2*(log(3 - 2*x)/log(64)) >= -12*x + log(24*x)^2 + 9