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