Kann man die natürlichen Zahlen mit 13 Farben einfärben ohne dass es eine einfarbige arithmetische Folge der Länge 28 gibt? Oder, einfacher, kann man sie mit zwei Farben einfärben ohne dass es eine arithmetische Folge der Länge 3 gibt?

An diesem einfachen Beispiel erklärt Timothy Gowers den Satz von der Waerden: