Итак, при доказательстве одной теоремы я свел вопрос к доказательству неравенства.
Условия теоремы:

- множество.

-

- измеримые множетсва относительно меры P.
P:\

->R - мера Лебега на этом множестве.
Итак, пусть нам дан конечный набор измеримых множеств {

}

. ПРичем:
1)
2)
Т.е. все множества имеют одинаковую меру, и мера симметрической разности между ними (попарно) не меньше b.
(можно считать, что

) :
Имеет ли место такая оценка снизу следующей меры:
Или даже просто такая оценка, что с ростом n растет и оценка снизу.
Так имеет такая оценка вообще место?
Т.е. я предполагаю, что чем больше таких множеств, тем больше мера их объединения, а значит нельзя поместить сколько угодно таких множеств во множество конечной меры.... так ли это...