Skip to content

Erdős problem 727

Start work

Let k≥2k ≥ 2. Does ((n+k)!)2∣(2n)!((n+k)!)^2∣(2n)! hold for infinitely many nn?

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

727.lean

Retained formal statement1 of 4

Let k≥2k ≥ 2. Does ((n+k)!)2∣(2n)!((n+k)!)^2∣(2n)! hold for infinitely many nn?

FormalConjectures/ErdosProblems/727.leanErdos727.erdos_7271 lineExact file
True ↔ ∀ k ≥ 2, {n | (n + k).factorial ^ 2 ∣ (2 * n).factorial}.Infinite
OpenStatement only, no proof