Оценка снизу делается по схеме
С.Б. Стечкина [1] с использованием результата Г. Харди,
Дж. Литтльвуда, Г. Полиа [5]. А именно, имеем
Известно неравенство Г. Харди, Дж. Литтльвуда, Г. Полиа [5]
Более того, при любом
и существует функция на которой
реализуется верхняя грань. Поэтому из (2.1) следует, что
Итак,