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