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