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