Erdős problem 313
Are there infinitely many pairs (m, P) where m ≥ 2 is an integer and P is a set of distinct primes such that the following equation holds: ?
Sources
FormalConjectures/ErdosProblems/
313.lean
Retained formal statement
There are at least 8 primary pseudoperfect numbers. The first eight terms of [A54377](https://oeis.org/A54377) are exhibited together with their explicit prime decompositions.
8 ≤ {n | Erdos313.IsPrimaryPseudoperfect n}.encardTextbookStatement only, no proof