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
It remains open whether this is true for every finite sequence of integers.
True ↔ ∀ (A : Finset ℕ), (∀ n ∈ A, 1 < n) → ∀ (t : ℝ), 1 + ∑ n ∈ A, Erdos967.summand t n ≠ 0OpenStatement only, no proof