/log(64*x)\ /log(x - 6)\ log(x) |---------| |----------| 73 - ------ \ log(2) / \ log(2) / log(2) ------------ + ------------ >= ------------ /log(x - 6)\ /log(64*x)\ 2 |----------| |---------| log (x) - 36 \ log(2) / \ log(2) /
(log(64*x)/log(2))/((log(x - 6)/log(2))) + (log(x - 6)/log(2))/((log(64*x)/log(2))) >= (-log(x)/log(2) + 73)/(log(x)^2 - 36)