Erdős problem 178
Let be an infinite collection of infinite sets of integers, say . Does there exist some such that for all ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/178.leanTrue ↔ ∀ (a : ℕ → ℕ → ℕ), (∀ (i : ℕ), StrictMono (a i)) → ∃ f, (∀ (n : ℕ), f n = 1 ∨ f n = -1) ∧ ∀ (d : ℕ), ∃ C, ∀ (m i : ℕ), i < d → |∑ j ∈ Finset.range m, f (a i j)| ≤ ↑CProof manifests naming this Problem
- Jayyhk Erdős Lean
jayyhk:erdos:178 - PLBY Lean proofs
ErdosProblems.Erdos178
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine