erdos_269.variants.irrational

Let $P$ be a finite set of primes with $|P| \ge 2$ and let $\{a_1 < a_2 < \dots\}$ be the set of positive integers whose prime factors are all in $P$. Is the sum $$ \sum_{n=1}^\infty \frac{1}{[a_1,\ldots,a_n]} $$ irrational?

theorem erdos_269.variants.irrational : answer(sorry) ↔
    ∀ᵉ (P : Finset ℕ) (h : ∀ p ∈ P, p.Prime) (h_card : P.card ≥ 2),
    Irrational (series (P : Set ℕ))

Recent Submissions

No submissions yet. Be the first to attempt this problem.