---

Claim. With $f(N)$ the quantity of Problem 202, there is an absolute constant $c>0$ such that, for every $\epsilon>0$ and all large $N$, $N\exp(-(\log N)^{1/2+\epsilon})<f(N)<N(\log N)^{-c}$; in particular $f(N)=o(N)$. This is Theorem 1 of P. Erdős and E. Szemerédi, On a problem of P. Erdős and S. Stein, Acta Arith. 15 (1968), no. 1, 85–90, cited as [ErSz68] on the problem page and compiled on the library's Theorem 1 page.

Covers. The Erdős–Stein conjecture $f(N)=o(N)$, which the site's commentary credits to this paper and which formal-conjectures states as the solved variant erdos_202.variants.erdos_szemeredi. It does not determine $f(N)$; that is Ho's claim.

Depends on. Nothing in this wiki; the theorem is the paper's own.

Acceptance. Refereed: Acta Arithmetica 15 (1968), no. 1, 85–90, doi:10.4064/aa-15-1-85-90. Not reviewed: the site labels the problem SOLVED (LEAN) and credits the answer to Ho's result, not to this paper. The page is named by the publication year; the journal record gives no day.