Let t≥3 be an integer, and for 1≤i<j≤t let Aij=Aji be an arbitrary subset of an n-element set X. Prove that there exist 1≤i<j≤t for which
(X\Aij)∪k=i,j⋃(Aik∩Ajk)≥2t−2t−2n(translated by Miklós Maróti) Miklos Schweitzercollege contestsset theory