/1 \ log|- - x + 8| log(9 - x) log(71) \x / ---------- + ------- >= -------------- log(7) x log(7)
log(9 - x)/log(7) + log(71)/x >= log(-x + 1/x + 8)/log(7)