Skip to content

Erdős problem 137

Let k≥3k\geq 3. Can the product of any kk consecutive integers NN ever be powerful? That is, must there always exist a prime p∣Np\mid N such that p2∤Np^2\nmid N?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

137.lean

Retained formal statement2 of 3

Erdős [Er82c] conjectures that, if kk is fixed, then for all nn sufficiently large and all positive integers mm, there must be at least kk distinct primes pp such that p∣m(m+1)⋯(m+n)p\mid m(m+1)\cdots (m+n) and yet p2p^2 does not divide the right hand side.

[Er82c] Erdős, Paul, "Miscellaneous problems in number theory". Congr. Numer. (1982), 25-45.,

FormalConjectures/ErdosProblems/137.leanErdos137.erdos_137.variants.multiple_powerful_factors6 linesExact file
∀ (k : ℕ),  ∀ᶠ (n : ℕ) in Filter.atTop,    ∀ (m : ℕ),      0 < m →        ∃ P,          P.card = k ∧ ∀ p ∈ P, Nat.Prime p ∧ p ∣ ∏ x ∈ Finset.Ioc m (m + n), x ∧ ¬p ^ 2 ∣ ∏ x ∈ Finset.Ioc m (m + n), x
OpenStatement only, no proof