Erdős problem 195 · problems.science

What is the largest $k$ such that in any permutation of $\mathbb{Z}$ there must exist a monotone $k$ -term arithmetic progression $x_1 < \cdots < x_k$ ?

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

195.lean

Retained formal statement1 of 3

What is the largest $k$ such that in any permutation of $\mathbb{Z}$ there must exist a monotone $k$ -term arithmetic progression $x_1 < \cdots < x_k$ ?

FormalConjectures/ErdosProblems/195.leanErdos195.erdos_1951 lineExact file

1sorry = sSup {k | ∀ (f : ℤ ≃ ℤ), HasMonotoneAP (⇑f) k}

OpenStatement only, no proof

Sources

Search problems.science