Erdős problem 1106
Let be the partition number of and be the number of distinct prime factors of , then tends to infinity when tends to infinity.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/1106.leanTrue ↔ Filter.Tendsto (fun n => (∏ i ∈ Finset.Icc 1 n, Erdos1106.p i).primeFactors.card) Filter.atTop Filter.atTopOpenStatement only, no proof