Erdős problem 955

If $A\subset \mathbb{N}$ has density $0$ then $s^{-1}(A)$ must also have density $0$ .

Sources

The source's own material, retained exactly.

12 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

955.lean

Retained formal statement1 of 12

If $A\subset \mathbb{N}$ has density $0$ then $s^{-1}(A)$ must also have density $0$ .

A conjecture of Erdős, Granville, Pomerance, and Spiro [EGPS90].

FormalConjectures/ErdosProblems/955.leanErdos955.erdos_9551 lineExact file

1True ↔ ∀ (A : Set ℕ), A.HasDensity 0 → {x | Erdos955.s x ∈ A}.HasDensity 0

OpenStatement only, no proof