Задача № 7385

Методами математического анализа доказать неравенство: $$2\cos\left(\pi\,x\right)\leqslant\log_2(x^2-4x+8).$$ Указать значение $x$, при котором неравенство обращается в равенство.