Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-132/3/a/solution

A set is -rich if every -element subset of has at least common neighbours.
Choose independently and uniformly from , with repetition, and put
By convexity,
Let count the -subsets having fewer than common neighbours in . For each such ,
and therefore
Delete one vertex from every bad -subset of . The remaining set is -rich and satisfies . The hypothesis gives
so some choice has .

New to topics? Read the docs here!