Задача № 7384

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