Skip to content

Erdős problem 967

Let 1<a1<⋯1<a_1<\cdots be a sequence of integers such that ∑1ai<∞\sum\frac{1}{a_i}<\infty. Is it true that, for every t∈Rt\in \mathbb{R}, 1+∑k1ak1+it≠0?1+\sum_{k}\frac{1}{a_k^{1+it}}\neq 0?

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

967.lean

Retained formal statement4 of 5

A question of Erdős and Ingham [ErIn64]. The simplest case they could not decide this question for was the finite sequence {2,3,5}\{2,3,5\}.

FormalConjectures/ErdosProblems/967.leanErdos967.erdos_967.variants.two_three_five1 lineExact file
True ↔ ∀ (t : ℝ), 1 + ∑ n ∈ {2, 3, 5}, Erdos967.summand t n ≠ 0
OpenStatement only, no proof