Erdős problem 269
Let be a finite set of primes with and let be the set of positive integers whose prime factors are all in . Is the sum irrational?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/269.lean∀ (P : Set ℕ), (∀ p ∈ P, Nat.Prime p) → P.Infinite → Irrational (Erdos269.series P)SolvedStatement only, no proof