Erdős problem 470 · problems.science

Benkoski and Erdős [BeEr74](https://mathscinet.ams.org/mathscinet/relay-station?mr=347726) proved that the set of weird numbers has positive density.

Sources

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

8 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

470.lean

Retained formal statement3 of 8

If there are no odd weird numbers then every weird number has abundancy index < 4.

FormalConjectures/ErdosProblems/470.leanErdos470.erdos_470.variants.abundancy_index1 lineExact file

1(∀ (n : ℕ), n.Weird → ¬Odd n) → ∀ (n : ℕ), n.Weird → Erdos470.AbundancyIndex n < 4

SolvedStatement only, no proof