/x \ /x \ log|- - 1| log|- - 1| \5 / \5 / x*---------- >= 3*---------- log(8) log(2)
x*(log(x/5 - 1)/log(8)) >= 3*(log(x/5 - 1)/log(2))