PPL 044 / 177 permanent IDsPrize Problem Ledger · PPLChecked 2026.07.26
Prize Problem LedgerErdősPPL 044Erdős Problem #143

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
Documented

A 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.

03

Sources & reading