An upper bound for the Hales-Jewett number HJ(4,2)

Mikhail Lavrov

We show that for $n$ at least $10^{11}$, any 2-coloring of the $n$-dimensional grid $[4{]}^n$ contains a monochromatic combinatorial line. This is a special case of the Hales-Jewett…