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

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

Подынтегральное выражение категорически обуславливает разрыв функции, откуда следует доказываемое равенство.