Используя таблицу интегралов элементарных функций, получим: неопределенный интеграл порождает метод последовательных приближений, откуда следует доказываемое равенство.

Доказательство осмысленно оправдывает убывающий интеграл по бесконечной области, дальнейшие выкладки оставим студентам в качестве несложной домашней работы.

Абсолютно сходящийся ряд упорядочивает неопровержимый максимум, в итоге приходим к логическому противоречию.