Erdős problem 672

Can the product of an arithmetic progression of positive integers $n, n + d, ..., n + (k - 1)d$ of length ≥ 4, with $(n, d) = 1$ , be a perfect power?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

672.lean

Retained formal statement1 of 3

Can the product of an arithmetic progression of positive integers $n, n + d, ..., n + (k - 1)d$ of length ≥ 4, with $(n, d) = 1$ , be a perfect power?

FormalConjectures/ErdosProblems/672.leanErdos672.erdos_6721 lineExact file

1True ↔ ∀ (k l : ℕ), l > 1 → k ≥ 4 → Erdos672.Erdos672With k l

OpenStatement only, no proof