MathDB
Pretty much the same as KMO P7

Source: 2015 Korean Junior MO P8

November 1, 2015
combinatoricsSets

Problem Statement

A positive integer nn is given. If there exist sets F1,F2,FmF_1, F_2, \cdots F_m satisfying the following, prove that mnm \le n. (For sets A,BA, B, A|A| is the number of elements in AA. ABA-B is the set of elements that are in AA but not BB)
(i): For all 1im1 \le i \le m, Fi{1,2,n}F_i \subseteq \{1,2,\cdots n\}
(ii): F1F2Fm|F_1| \le |F_2| \le \cdots \le |F_m|
(iii): For all 1i<jm1 \le i < j \le m, FiFj=1|F_i-F_j|=1.