___ log(x) 20*\/ 2 log(x) 3 + --------*(log(x) - 6) <= 2 3
3^log(x) + (20*sqrt(2)/3)*(log(x) - 6) <= 2^log(x)