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