MathDB
Really neat sets

Source: Miklós Schweitzer 2018 P2

November 10, 2018
college contests

Problem Statement

A family F\mathcal{F} of sets is called really neat if for any A,BFA,B\in \mathcal{F}, there is a set CFC\in \mathcal{F} such that AB=AC=BCA\cup B = A\cup C=B\cup C. Let f(n)=min{maxAFA ⁣:F is really neat and F=n}.f(n)=\min \left\{ \max_{A\in \mathcal{F}} |A| \colon \mathcal{F} \text{ is really neat and } |\cup \mathcal{F}| =n\right\} . Prove that the sequence f(n)/nf(n)/n converges and find its limit.