/ 2 \ / 2 \ log\x + x + 1/ log(x)*\x + x - 1/*--------------- <= log(x)*3 log(7)
((x^2 + x - 1)*log(x))*(log(x^2 + x + 1)/log(7)) <= 3*log(x)