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

Open selected source

FormalConjectures/ErdosProblems/

470.lean

Retained formal statement5 of 8

Liddy and Riedl [LiRi18](https://ideaexchange.uakron.edu/honors_research_projects/728/) have shown that an odd weird number must have at least 6 prime divisors.

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

1∀ (n : ℕ), Odd n → n.Weird → 6 ≤ {m | m ∈ n.divisors ∧ Nat.Prime m}.ncard

SolvedStatement only, no proof

Sources

Search problems.science