Status
On this page
Status
Topics
Status
On this page
Status
Topics
Find the smallest such that the following holds. There exists a function such that, for every ,
where ranges over all finite arithmetic progressions with common difference .
Source: erdosproblems.com/177
No claim settles this problem.
Open, the site's label as accessed on 2026-09-04 and unchanged, when the problem's proof-claim tab was empty. The site's commentary records from Cantor, Erdős, Schreiber and Straus, from van der Waerden's theorem, Beck's for every [Be17] and Roth's [Ro64]. Erdős's 1966 report of the construction (printed p. 137) states its bound as , which is weaker than the site's by the factor . The bounds are recorded as partial claims: the construction on Cantor, Erdős, Schreiber and Straus 1966 (accepted on the journal publication alone), Beck's bound on Beck 2017 (claimed, an edited-volume chapter) and Roth's bound on Roth 1964 (accepted on the refereed publication alone). A claim of 19 September 2026, Korsky 2026, submitted on the site's proof-claim tab of Problem 178 and recorded here as a partial claim, would improve Beck's exponent to ; it is unreviewed. No full claim exists, and the standing derives from the claim pages.