Skip to content

Erdős problem 269

Let PP be a finite set of primes with P2|P| \ge 2 and let {a1<a2<}\{a_1 < a_2 < \dots\} be the set of positive integers whose prime factors are all in PP. Is the sum n=11[a1,,an] \sum_{n=1}^\infty \frac{1}{[a_1,\ldots,a_n]} 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

Formal Conjectures

FormalConjectures/ErdosProblems/269.leanErdos269.erdos_269.variants.infinite1 lineExact file
∀ (P : Set ℕ), (∀ pP, Nat.Prime p) → P.InfiniteIrrational (Erdos269.series P)
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page