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 tRt\in \mathbb{R}, 1+k1ak1+it0?1+\sum_{k}\frac{1}{a_k^{1+it}}\neq 0?

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

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

Search problems.science

Find a Problem, Result, source, or page