/ / 2 \\ / 1 \ |log\3*x + x/| log|27*x + --| |-------------| | 2| | ___ | log(x) \ x / \ \/ 2 / 2*------ + -------------- >= 2*--------------- + 2 log(3) log(3) log(3)
2*(log(x)/log(3)) + log(27*x + 1/(x^2))/log(3) >= 2*((log(3*x^2 + x)/sqrt(2))/log(3)) + 2