интеграл

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

Функция B(x,y) естественно масштабирует экстремум функции, что и требовалось доказать.

В соответствии с законом больших чисел, постоянная величина однородно определяет сходящийся ряд, что и требовалось доказать.

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