Erdős problem 272
Let . What is the largest such that there are with a non-empty arithmetic progression for all ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/272.leanAsymptotics.IsEquivalent Filter.atTop (fun N => ↑(Erdos272.maxArithInterCard N)) sorryOpenStatement only, no proof