Erdős problem 979
Let , and let count the number of solutions to , where the are prime numbers. Is it true that ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/979.leanTrue ↔ ∀ k ≥ 2, Filter.limsup (fun n => (Erdos979.solutionSet n k).encard) Filter.atTop = ⊤OpenStatement only, no proof