Skip to content

Erdős problem 266

Let ana_n be an infinite sequence of positive integers such that 1an\sum \frac{1}{a_n} converges. There exists some integer t1t \ge 1 such that 1an+t\sum \frac{1}{a_n + t} is irrational.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/266.lean

Formal Conjectures

FormalConjectures/ErdosProblems/266.leanErdos266.erdos_2662 linesExact file
¬∀ (a : ℕ → ℕ),    ((∀ (n : ℕ), a n ≥ 1) ∧ Summable fun x => 1 / ↑(a x)) → ∃ t ≥ 1, Irrational (∑' (n : ℕ), 1 / (↑(a n) + ↑t))
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page