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 statement4 of 4

It is open even for k=2k = 2. Let k=2k = 2. Does ((n+k)!)2∣(2n)!((n+k)!)^2∣(2n)! hold for infinitely many n?

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