Приближение функций из класса Липшица алгебраическими многочленами

Доказано, что для каждой функции $f(x)$ из класса $\mathrm{Lip}_11$ найдется алгебраический многочлен $P_n(x)$ степени $n$ такой, что
$$ |f(x)-P_n(x)|\leqslant\frac{\pi\sqrt{1-x^2}}{2n}+O\biggl(\frac{|x|}{n^2}\biggr),\quad x\in[-1,1]. $$
Библ. 6 назв.