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?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1107.lean

Retained formal statement1 of 2

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

FormalConjectures/ErdosProblems/1107.leanErdos1107.erdos_11071 lineExact file

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

OpenStatement only, no proof