Erdős problem 940 · problems.science

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

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

940.lean

Retained formal statement1 of 5

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$ ?

FormalConjectures/ErdosProblems/940.leanErdos940.erdos_9401 lineExact file

1True ↔ ∀ r ≥ 3, {n | ∃ S, S.card ≤ r ∧ (∀ s ∈ S, r.Full s) ∧ n = S.sum}.HasDensity 0

OpenStatement only, no proof