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

для любого

найдется система

из непересекающихся отрезков суммарной длины, меньшей

, образы которых имеют суммарную длину больше

. Составим новую систему

, в которую включим все отрезки всех

, их суммарная длина тоже мала. Система

- вложенная, их образы - тоже, причем суммарная длина образов не мала. Пересечение этих

- множество меры 0, а его образ - положительной меры...
Можно также посмотреть книжку Рисс, Сёкефальви-Надь "Лекции по ФА"