Erdős problem 396 · problems.science

Is it true that for every $k$ there exists $n$ such that $\prod_{0\leq i\leq k}(n-i) \mid \binom{2n}{n}?$

No current result

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

FormalConjectures/ErdosProblems/396.lean

Formal Conjectures

FormalConjectures/ErdosProblems/396.leanErdos396.erdos_3961 lineExact file

1True ↔ ∀ (k : ℕ), ∃ n, n.descFactorial (k + 1) ∣ n.centralBinom

OpenStatement only, no proof

Work these sources record against this Problem. Source-reported attribution, not reviewed here.