On a theorem of MM. Baudet and van der Waerden. (Q1830657)

\textit{Van der Waerden} hat gezeigt (1927; F. d. M. 53, 73 (JFM 53.0073.*)): Verteilt man die Zahlen \(1,2,\ldots, N\) irgendwie auf \(k\) Klassen, so enthält für hinreichend großes \(N\) mindestens eine Klasse eine arithmetische Progression von \(l\) Gliedern. Verf. zeigen, daß dieser Satz mit dem folgenden äquivalent ist: Sind \(d\) und \(l\) feste ganze Zahlen, so enthält jede unendliche, monoton wachsende Folge ganzer Zahlen \(a_1,a_2,\ldots, a_n, \ldots\), für die für jedes \(i\) \[ a_{i+1}-a_i\leqq d \] ist, eine arithmetische Progression von \(l\) Gliedern. Ferner wird gezeigt, daß die Vermutung, daß jede solche Zahlenfolge auch unendlich lange arithmetische Progressionen enthalten muß, nicht richtig ist.