
Пусть 2π- периодическая функция f имеет непрерывные производные до порядка m − 1 включительно и кусочно непрерывную производную порядка
.
Тогда для коэффициентов Фурье функции f выполняются оценки
при 
Пусть
и

Применяя m раз теорему, получаем что

Поскольку коэффициенты Фурье
, из последнего равенства получаем изначальное утверждение.