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 statement5 of 5

FormalConjectures/ErdosProblems/313.leanErdos313.erdos_313.variants.solution_6_2_31 lineExact file

1(6, {2, 3}) ∈ Erdos313.erdos313Solutions

TestStatement only, no proof

Sources

Search problems.science