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, Euler proved this.
Erdos672.Erdos672With 4 2SolvedStatement only, no proof