Proofs of Universal Statements: Mathematical Induction · Nested Statements (Optional)

Lesson 2

Nikolai Chukhin · Alexander S. Kulikov

Theorem (van der Waerden, 1927). For any coloring of the set of positive integers in a finite number of colors, there exists an arbitrarily long monochromatic arithmetic progression.