/ 5\ 2 log(x) log\x / log(x) x *------- >= ------- + x*------ log(16) log(16) log(2)
x^2*(log(x)/log(16)) >= x*(log(x)/log(2)) + log(x^5)/log(16)