2/ 2\
log(x - 1) log \x - 1, (x - 7) /
------------------- - --------------------- >= 2
/ 2 \ 16
log\- x + 8*x - 7/
log(x - 1)/log(-x^2 + 8*x - 7) - log(x - 1, (x - 7)^2)^2/16 >= 2