Skip to content

Erdős problem 940

Start work

Let r≥3r \ge 3. Is it true that the set of integers which are the sum of at most rr rr-powerful numbers has density 00?

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

940.lean

Retained formal statement1 of 5

Let r≥3r \ge 3. Is it true that the set of integers which are the sum of at most rr rr-powerful numbers has density 00?

FormalConjectures/ErdosProblems/940.leanErdos940.erdos_9401 lineExact file
True ↔ ∀ r ≥ 3, {n | ∃ S, S.card ≤ r ∧ (∀ s ∈ S, r.Full s) ∧ n = S.sum}.HasDensity 0
OpenStatement only, no proof