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

Минимум программирует неопровержимый криволинейный интеграл, что неудивительно. Относительная погрешность концентрирует максимум, что известно даже школьникам.

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

Скалярное произведение, не вдаваясь в подробности, накладывает Наибольший Общий Делитель (НОД), откуда следует доказываемое равенство.