Skip to content

Erdős problem 955

If A⊂NA\subset \mathbb{N} has density 00 then s−1(A)s^{-1}(A) must also have density 00.

Sources

The source's own material, retained exactly.

12 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

955.lean

Retained formal statement2 of 12

Erdős [Er73b] proved that there are sets AA of positive density such that s−1(A)s^{-1}(A) is empty.

FormalConjectures/ErdosProblems/955.leanErdos955.erdos_955.variants.empty_preimage1 lineExact file
∃ A, (∃ d > 0, A.HasDensity d) ∧ {x | Erdos955.s x ∈ A} = ∅
SolvedStatement only, no proof