Пусть

- множество из

элементов. Каждому

сопоставили

- подмножество

из

элементов, содержащее

.
Правда, что можно выбрать

элементов в

, а также подмножества вида

так, что каждый элемент будет покрыт этими подмножествам, но не более

раз? (

- какие-то полиномы)
Я умею доказывать это утверждение, если известно, что каждый элемент покрыт не менее

и не более

подмножествами. Тогда вероятность того, что случайный элемент будет покрыт случайно выбранным подмножеством

. Вероятность того, что случайный элемент будет покрыт

множествами

. Это значит, что можно выбрать

множеств так, что они будут покрывать все элементы. Каждый элемент в среднем будет покрыт

множествами, а элементов, которые покрываются

множествами меньше половины. Выкинем их - получим требуемое.