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