Erdős problem 939 · problems.science

If $r≥4$ then can the sum of $r-2$ coprime $r$ -powerful numbers ever be itself $r$ -powerful?

Sources

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

7 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

939.lean

Retained formal statement1 of 7

If $r≥4$ then can the sum of $r-2$ coprime $r$ -powerful numbers ever be itself $r$ -powerful?

FormalConjectures/ErdosProblems/939.leanErdos939.erdos_9391 lineExact file

1True ↔ ∀ r ≥ 4, (Erdos939.Erdos939Sums r).Nonempty

OpenStatement only, no proof