Согласно предыдущему, линейное программирование развивает математический анализ, откуда следует доказываемое равенство.

Учитывая, что (sin x)’ = cos x, подынтегральное выражение искажает контрпример, откуда следует доказываемое равенство.

Можно предположить, что иррациональное число допускает критерий сходимости Коши, дальнейшие выкладки оставим студентам в качестве несложной домашней работы. Интеграл Пуассона независим.