Skip to content

Erdős problem 930

Is it true that, for every rr, there is a kk such that if I1,…,IrI_1,\ldots,I_r are disjoint intervals of consecutive integers, all of length at least kk, then ∏1≤i≤r∏m∈Iim \prod_{1\leq i\leq r}\prod_{m\in I_i}m is not a perfect power?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

930.lean

Retained formal statement2 of 3

Erdos and Selfridge [ErSe75] proved that the product of consecutive integers is never a power (establishing the case r=1r=1).

Theorem 1 from [ErSe75].

It is implied from erdos_930.variants.consecutive_strong.

[ErSe75] Erdős, P. and Selfridge, J. L., The product of consecutive integers is never a power. Illinois J. Math. (1975), 292-301.

FormalConjectures/ErdosProblems/930.leanErdos930.erdos_930.variants.consecutive_integers1 lineExact file
∀ (n k : ℕ), 0 ≤ n → 2 ≤ k → ¬Erdos930.IsPower (∏ m ∈ Finset.Icc (n + 1) (n + k), m)
SolvedStatement only, no proof