Skip to content

Erdős problem 672

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/672.lean

Formal Conjectures

FormalConjectures/ErdosProblems/672.leanErdos672.erdos_6721 lineExact file
True ↔ ∀ (k l : ℕ), l > 1 → k ≥ 4 → Erdos672.Erdos672With k l
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page