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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/940.lean

Formal Conjectures

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