/log(x - 5)\ |----------| \ log(2) / log(x) ------------ > 2*------ log(x) log(2) - ------ log(2)
(log(x - 5)/log(2))/((-log(x)/log(2))) > 2*(log(x)/log(2))