Erdős problem 196 · problems.science

Must every permutation of $\mathbb{N}$ , contain a monotone 4-term arithmetic progression?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

196.lean

Retained formal statement1 of 1

Must every permutation of $\mathbb{N}$ , contain a monotone 4-term arithmetic progression?

FormalConjectures/ErdosProblems/196.leanErdos196.erdos_1961 lineExact file

1True ↔ ∀ (f : ℕ ≃ ℕ), HasMonotoneAP (⇑f) 4

OpenStatement only, no proof