DISPROVED (LEAN)
This has been solved in the negative and the proof verified in Lean.
Let $A\subset\mathbb{N}$ be infinite. Must there exist some $k\geq 1$ such that almost all integers have a divisor of the form $a+k$ for some $a\in A$?
Asked by Erdős and Tenenbaum. Ruzsa gave the following simple counterexample: let $A=\{n_1<n_2<\cdots \}$ where $n_l \equiv -(k-1)\pmod{p_k}$ for all $k\leq l$, where $p_k$ denotes the $k$th prime.
A sequence $A$ is a Behrend sequence if almost all integers have a divisor in $A$, so that this question asks whether, for every infinite set $A$, there exists $k\geq 1$ such that $A+k$ is a Behrend sequence.
Davenport and Erdős
[DaEr51] (see also Tenenbaum
[Te13]) showed that $\sum\frac{1}{a}=\infty$ for every Behrend sequence $A$, which immediately implies the answer to this question is no (taking $A$ any infinite sequence with $\sum \frac{1}{a}<\infty$). (It is therefore strange why Erdős asked this question over 40 years later.)
In the comments van Doorn explains how Ruzsa's construction above can be modified to produce a counterexample with $\sum\frac{1}{a}=\infty$.
Tenenbaum asked the weaker variant (still open) where for every $\epsilon>0$ there is some $k=k(\epsilon)$ such that at least $1-\epsilon$ density of all integers have a divisor of the form $a+k$ for some $a\in A$.
View the LaTeX source
This page was last edited 07 December 2025.
Additional thanks to: Salvatore Mercuri, Imre Ruzsa, and Wouter van Doorn
When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:
T. F. Bloom, Erdős Problem #26, https://www.erdosproblems.com/26, accessed 2026-01-16