Erdős problem 672 · problems.science

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

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

3 retained statements2415f78e850a

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

Sources

Search problems.science