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