Метрика на прост. вер. мер на подмножествах N

[mihaild]

seraphimt в сообщении #1644278 писал(а):

Но $\sum \limits_{k=x}^{y} c_k(p_k^n - p_k) $ не обязательно от этого будет большим

Вы индексы потеряли, а это важно. У нас для каждого $n_i$ свой сегмент, и мы можем подогнать знаки под него.
(на самом деле нам тут достаточно одной последовательности для индексации сегментов, скажем что $y_i = x_{i + 1} - 1$)

(Оффтоп)

Задача на самом деле нетривиальная на начальных этапах изучения, у меня на нее в свое время часа два ушло.