Erdős problem 967
Let be a sequence of integers such that . Is it true that, for every ,
Sources
FormalConjectures/ErdosProblems/
967.lean
Retained formal statement
A question of Erdős and Ingham [ErIn64]. The simplest case they could not decide this question for was the finite sequence .
True ↔ ∀ (t : ℝ), 1 + ∑ n ∈ {2, 3, 5}, Erdos967.summand t n ≠ 0OpenStatement only, no proof