Erdős problem 1107

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

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

1107.lean

Retained formal statement2 of 2

Heath-Brown [He88] proved every large integer the sum of at most three $2$ -powerful numbers.

FormalConjectures/ErdosProblems/1107.leanErdos1107.erdos_1107.variants.two1 lineExact file

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

SolvedStatement only, no proof