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 t≥1t \ge 1 such that ∑1an+t\sum \frac{1}{a_n + t} is irrational.

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

266.lean

Retained formal statement2 of 2

In fact, Kovač and Tao proved in [KoTa24] that there exists a strictly increasing sequence ana_n of positive integers such that ∑1an+t\sum \frac{1}{a_n + t} converges to a rational number for all t∈Qt \in \mathbb{Q} such that t≠−ant \ne -a_n for any nn.

[KoTa24] Kovač, V. and Tao T., On several irrationality problems for Ahmes series. arXiv:2406.17593 (2024).

FormalConjectures/ErdosProblems/266.leanErdos266.erdos_266.variants.all_rationals1 lineExact file
∃ a, StrictMono a ∧ a 0 ≥ 1 ∧ ∀ (t : ℚ), (¬∃ n, t = -↑(a n)) → ∃ q, HasSum (fun n => 1 / (↑(a n) + ↑t)) ↑q
SolvedStatement only, no proof