PPL 044 / 177 permanent IDsPrize Problem Ledger · PPLChecked 2026.07.26
Permanent problem IDPPL 044
Verified openErdősconjecture
Primitive sets
Erdős Problem #143
Let A⊂ (1,∈fty) be a countably infinite set such that for all x≠ y∈ A and integers k≥ 1 we have | kx -y| ≥ 1. Does this imply that A is sparse? In particular, does this imply that ∑_(x∈ A)(1/xlog x)<∈fty or ∑_{\substack{x <n\\ x∈ A}}(1/x)=o(log n)?
primitive sets
01
The problem
Let A⊂ (1,∈fty) be a countably infinite set such that for all x≠ y∈ A and integers k≥ 1 we have | kx -y| ≥ 1. Does this imply that A is sparse? In particular, does this imply that ∑_(x∈ A)(1/xlog x)<∈fty or ∑_{\substack{x <n\\ x∈ A}}(1/x)=o(log n)?
Open since1961earliest source
Last checked2026.07.26Catalog verification
02
Reward offers
Offer 01$500Paul Erdős / Combinatorics Foundation
DocumentedA solution must appear in a reputable journal, with documentation that Erdős offered the displayed amount. Claims are administered by the Combinatorics Foundation; erdosproblems.com does not pay awards.