Problem

Source: Romania EGMO TST 2021 Day 1 P3

Tags: combinatorics, set theory



Let $X$ be a finite set with $n\geqslant 3$ elements and let $A_1,A_2,\ldots, A_p$ be $3$-element subsets of $X$ satisfying $|A_i\cap A_j|\leqslant 1$ for all indices $i,j$. Show that there exists a subset $A{}$ of $X$ so that none of $A_1,A_2,\ldots, A_p$ is included in $A{}$ and $|A|\geqslant\lfloor\sqrt{2n}\rfloor$.