Постараюсь пояснить условие.
Итак, есть некоторое множество - функций из множества во множество .
Первое условие
означает следующее. Зафиксируем некоторые и . Переберем все функции и для каждой из них проверим, верно ли то, что . Условие (1) означает, что доля тех функций, для которых верно, ко множеству всех функций , не превышает .
Рассмотрим второе условие
Зафиксируем некоторый и будем перебирать все функции . Для каждой конкретной функции рассмотрю количество , для которых . Обозначу эту величину .
Итак,
Величина может принимать разные значения: большие, если для данной функции нашлось много , для которых , или , если для данной функции не нашлось ни одного , для которого верно .
Итак, условие (2) означает следующее: среднее значение по всем не превышает 1, т.е.
В задаче требуется ответить на вопрос. Следует ли второе условие из первого. Если да, то доказать, если нет, то построить контрпример.