8x^2<64xlog_2(x)