Claims

../

1999_08_01_brown_landman: Theorem 7 of Brown and Landman (Bull. Austral. Math. Soc. 1999): for any f, every 2-coloring of the positive integers has a monochromatic three-term progression with difference at least f of its first term; f(a) = a + 1 here.

2025_10_20_alweiss: The case analysis the site's curator records as Ryan Alweiss's proof that every 2-coloring of the positive integers has a monochromatic three-term progression with difference above its first term; accepted on Lean built here.

---