Erdős problem 979
Let , and let count the number of solutions to , where the are prime numbers. Is it true that ?
Sources
FormalConjectures/ErdosProblems/
979.lean
Retained formal statement
Erdős (unpublished)
Filter.limsup (fun n => (Erdos979.solutionSet n 3).encard) Filter.atTop = ⊤SolvedStatement only, no proof