Erdős problem 727 · problems.science

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

No current result

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

FormalConjectures/ErdosProblems/727.lean

Formal Conjectures

FormalConjectures/ErdosProblems/727.leanErdos727.erdos_7271 lineExact file

1True ↔ ∀ k ≥ 2, {n | (n + k).factorial ^ 2 ∣ (2 * n).factorial}.Infinite

OpenStatement only, no proof