Skip to content

Erdős problem 967

Start work

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 statement2 of 5

It remains open whether this is true for every finite sequence of integers.

FormalConjectures/ErdosProblems/967.leanErdos967.erdos_967.variants.finite1 lineExact file
True ↔ ∀ (A : Finset ℕ), (∀ n ∈ A, 1 < n) → ∀ (t : ℝ), 1 + ∑ n ∈ A, Erdos967.summand t n ≠ 0
OpenStatement only, no proof