/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) /
$$\frac{\frac{1}{\log{\left(2 \right)}} \log{\left(64 x \right)}}{\frac{1}{\log{\left(2 \right)}} \log{\left(x - 6 \right)}} + \frac{\frac{1}{\log{\left(2 \right)}} \log{\left(x - 6 \right)}}{\frac{1}{\log{\left(2 \right)}} \log{\left(64 x \right)}} \geq \frac{- \frac{\log{\left(x \right)}}{\log{\left(2 \right)}} + 73}{\log{\left(x \right)}^{2} - 36}$$