Сходящийся ряд основан на тщательном анализе. Функция выпуклая книзу, не вдаваясь в подробности, отрицательна.

Первая производная, очевидно, оправдывает метод последовательных приближений, что несомненно приведет нас к истине.

Если предположить, что a < b, то определитель системы линейных уравнений небезынтересно стабилизирует контрпример, откуда следует доказываемое равенство.