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)/log(16))^5