Пусть , αk-его коффициенты Фурье по ортогональной системе . Тогда справедливо неравенство Бесселя:
Из свойства имеем
Отсюда следует утверждение неравенства