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

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 $9$.

Lower bound: $139847086$ (139,847,086)
Upper bound: Unknown

Updates