Extremal combinatorics
December 10, 2020 BST

An efficient container lemma