MathDB
Every 30 sets intersect, then all intersect

Source: ARO Regional stage 2023 10.3=11.3

February 16, 2023
combinatoricsRussia

Problem Statement

Given are 5050 distinct sets of positive integers, each of size 3030, such that every 3030 of them have a common element. Prove that all of them have a common element.