Erdős problem 955 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

12 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

955.lean

Retained formal statement6 of 12

Troupe [Tr20] has also shown this is true if $A$ is the set of integers which are the sum of two squares.

FormalConjectures/ErdosProblems/955.leanErdos955.erdos_955.variants.troupe_sum_of_two_squares1 lineExact file

1{x | ∃ a b, Erdos955.s x = a ^ 2 + b ^ 2}.HasDensity 0

SolvedStatement only, no proof