Erdős problem 313 · problems.science

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: $\sum_{p \in P} \frac{1}{p} = 1 - \frac{1}{m}$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

313.lean

Retained formal statement1 of 5

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: $\sum_{p \in P} \frac{1}{p} = 1 - \frac{1}{m}$ ?

FormalConjectures/ErdosProblems/313.leanErdos313.erdos_3131 lineExact file

1sorry ↔ Erdos313.erdos313Solutions.Infinite

OpenStatement only, no proof

Sources

Search problems.science