zoo ... Хмм, хорошо, поэкспериментирую.
_________________
Чтобы не поднимать тему только чтобы сказать, что все решилось, пишу тут.
Да, пока форум лежал, а потом я сидел на даче, тоже доразбирался с пилой; если поставить зубчики на отрезках
![$\bigl[\frac1n,\frac1{n-1}\bigr]$ $\bigl[\frac1n,\frac1{n-1}\bigr]$](https://dxdy-03.korotkov.co.uk/f/6/8/f/68f1cbf278e182176450b1a361d0f22482.png)
, то получается не меньше

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

-функций (это неопределенные интегралы от

-функций, они же разности выпуклых функций, ну и вторая вариация тоже примерно как обычная определяется, через вторые разности).
Для zoo, про исходную задачу: ну это я как-то самопроизвольно заинтересовался свертками в смысле неабсолютных интегралов. Указанное условие является почти очевидным достаточным условием, которое надо наложить на одну из функций, чтобы свертка в смысле, скажем, широкого интеграла Данжуа с любой другой функцией была VBшной.