IMC 2016, Problem 4
Source: IMC 2016
July 27, 2016
IMCIMC 2016Setsset theorycollege contests
Problem Statement
Let be positive integers, and let be a family of finite sets with the following properties:
(i) contains at least distinct sets containing exactly elements;
(ii) for any two sets , their union also belongs to .
Prove that contains at least three sets with at least elements.(Proposed by Fedor Petrov, St. Petersburg State University)