Ну, например, так: берём отрезок
![$[a,b]$ $[a,b]$](https://dxdy-04.korotkov.co.uk/f/f/e/4/fe477a2781d275b4481790690fccd15f82.png)
, берём любое

, берём

, тогда наша заведомо неотрицательная интегральная сумма при разбивании на

отрезков, длины которых обозначим

, причем

, по
неравенству Гёльдера с

(ну там см. пункт "евклидово пространство") не превосходит

Не уверен, что имелось ввиду именно такое решение.
Кстати, а слабо улучшить

?
