Можно попробовать примерно так (это - не решение, а только набросок)
1. Представить функцию как разность двух монотонных, и проверить для каждой выполнение "сохраняет"..
2. Для монотонной: от противного. Пусть для некоторого
для любого
найдется система
из непересекающихся отрезков суммарной длины, меньшей
, образы которых имеют суммарную длину больше
. Составим новую систему
, в которую включим все отрезки всех
, их суммарная длина тоже мала. Система
- вложенная, их образы - тоже, причем суммарная длина образов не мала. Пересечение этих
- множество меры 0, а его образ - положительной меры...
Можно также посмотреть книжку Рисс, Сёкефальви-Надь "Лекции по ФА"