Asserts that for any number of colors `r` and any progression length `k`, there
always exists some number `N` large enough to guarantee a monochromatic arithmetic progression.
In other words, the set `monoAP_guarantee_set` is non-empty. This is the fundamental existence
result that allows for the definition of the van der Waerden numbers.
Actions
Submit a Proof
Have a proof attempt? Submit it for zero-trust verification.
