Van der Waerden number $W(4,3)$

The smallest number $n$ such that if the integers $1$ to $n$ are colored with $4$ colors, there must be a monochromatic arithmetic progression of length $3$.

Value: $76$

Updates