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 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 ℕ), (∀ nA, 1 < n) → ∀ (t : ℝ), 1 + ∑ nA, Erdos967.summand t n ≠ 0
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page