Сводящиеся к рациональным относительно log

Задачи (21)

№6353
Решить неравенство: $\displaystyle \left(6\log_2 x+7\right)\log_{\frac{x}{8}}2 \geqslant \left(\log_2\frac{x^2}{8}\cdot \log_2 8x^2-\frac{2}{\log_{x^4}2}\right)\cdot\log_{\frac{4}{x}}\sqrt2$.
Сводящиеся к рациональным относительно log
Ответ:
Решение: