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 statement5 of 12

It is possible for s(A)s(A) to have positive density even if AA has zero density (for example taking AA to be the product of two distinct primes).

FormalConjectures/ErdosProblems/955.leanErdos955.erdos_955.variants.positive_density1 lineExact file
∃ A, A.HasDensity 0 ∧ ∃ d > 0, (Erdos955.s '' A).HasDensity d
SolvedStatement only, no proof