Erdős problem 940

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

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

940.lean

Retained formal statement3 of 5

Is it true that the set of integers which are the sum of at most three cubes has density $0$ ?

FormalConjectures/ErdosProblems/940.leanErdos940.erdos_940.variants.three_cubes1 lineExact file

1True ↔ {n | ∃ S, S.card ≤ 3 ∧ n = (Multiset.map (fun x => x ^ 3) S).sum}.HasDensity 0

OpenStatement only, no proof