Extremal combinatorics studies how large or how small a collection of finite objects (numbers, graphs, sets) can be, if it has to satisfy certain restrictions, such as forbidden substructures.