Erdős problem 1107 · problems.science

Let $r \ge 2$ . Is every large integer the sum of at most $r + 1$ many $r$ -powerful numbers?

No current result

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

FormalConjectures/ErdosProblems/1107.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1107.leanErdos1107.erdos_11071 lineExact file

1∀ r ≥ 2, ∀ᶠ (n : ℕ) in Filter.atTop, Erdos1107.SumOfRPowerful r n

OpenStatement only, no proof