Erdős problem 672
Can the product of an arithmetic progression of positive integers of length ≥ 4, with , be a perfect power?
Sources
FormalConjectures/ErdosProblems/
672.lean
Retained formal statement
According to https://www.erdosproblems.com/672, Obláth proved this.
[Ob51] Oblath, Richard, Eine Bemerkung über Produkte aufeinander folgender Zahlen. J. Indian Math. Soc. (N.S.) (1951), 135-139.
Erdos672.Erdos672With 5 2 ∧ Erdos672.Erdos672With 3 3 ∧ Erdos672.Erdos672With 3 4 ∧ Erdos672.Erdos672With 3 5SolvedStatement only, no proof