Back to Problems
erdos_269.variants.rational
Specification
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]} $$ rational?
Lean 4 Statement
theorem erdos_269.variants.rational : answer(sorry) ↔
∀ᵉ (P : Finset ℕ) (h : ∀ p ∈ P, p.Prime) (h_card : P.card ≥ 2),
∃ (q : ℚ), q = (series (P : Set ℕ))
Browse
All Problems
Explore all 300 unsolved conjectures.
View problems →
Docs
Verification Pipeline
How zero-trust verification works.
Read docs →
Evaluation Results
Recent Submissions
No submissions yet. Be the first to attempt this problem.