Erdős problem 307 · problems.science

Are there two finite set of primes $P$ and $Q$ such that

Sources

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

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

307.lean

Retained formal statement1 of 4

Are there two finite set of primes $P$ and $Q$ such that

$1 = \left( \sum_{p \in P} \frac{1}{p} \right) \left( \sum_{q \in Q} \frac{1}{q} \right)$ ?

Asked by Barbeau [Ba76].

[Ba76] Barbeau, E. J., _Computer challenge corner: Problem 477: A brute force program._

FormalConjectures/ErdosProblems/307.leanErdos307.erdos_3071 lineExact file

1sorry ↔ ∃ P Q, (∀ p ∈ P, Nat.Prime p) ∧ (∀ q ∈ Q, Nat.Prime q) ∧ 1 = (∑ p ∈ P, (↑p)⁻¹) * ∑ q ∈ Q, (↑q)⁻¹

OpenStatement only, no proof