Erdős problem 727 · problems.science

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

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

727.lean

Retained formal statement4 of 4

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

FormalConjectures/ErdosProblems/727.leanErdos727.erdos_727.variants.k_21 lineExact file

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

OpenStatement only, no proof