Полученные неравенства справедливы при произвольном
. В частности, можно взять
зависящее от
Беря
или
где А — положительное число, получаем неравенство
Так как
и
то
для любого положительного числа А. Выбирая значение А такое, чтобы выражение в скобках было минимальным, т. е., полагая
получаем неравенство
а это и есть доказываемое неравенство (9.25) с постоянной