Запиши развёрнутое решение

Реши неравенство \({8\log\_{\sqrt{2}}^2{(2\cos x)} \mathrlap{\:-}}\) \({-\dfrac{11}{2}\log\_{2}(4\cos^2 x)\geqslant -5}\) .