Problem

erdos:67

∀ (f : ℕ → ↥{-1, 1}) (C : ℝ), 0 < C → ∃ d ≥ 1, ∃ m ≥ 1, C < |∑ k ∈ Finset.Icc 1 m, ↑(f (k * d))|

Open Current State

Declared status: proved
Formalization: formalized
Prize: $500
Subjects: discrepancy
OEIS: A181740 · A237695
Sources: source:erdos-problemssource:formal-conjectures
Statement: www.erdosproblems.com

Erdős discrepancy problem

Matching claims

0

No direct claims

This problem has no directly related claim record.

Browse this Repository’s Claims