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