Extremal graph theory
How dense can a graph be without creating a forbidden pattern?
A graph is a network of points and links. Add enough links and particular patterns become unavoidable. Extremal graph theory asks where that transition occurs.
Formal proof reported↗