Задача № 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$.