Не хватает абсолютной непрерывности интеграла Лебега (вопрос 25) // нашел в суммируемых функциях произвольного знака, возможно стоит перенести сюда
второй пункт доказательства сигма-аддитивности <tex>E = \bigcup\limits_n E_n = \bigcup\limits_{n=1}^p + B_p</tex> что должно быть после объединения по всем p?