Erdős problem 389 · problems.science

Is it true that for every $n \geq 1$ there is a $k$ such that $n(n + 1) \cdots (n + k - 1) \mid (n + k) \cdots (n + 2k - 1)?$

No current result

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

FormalConjectures/ErdosProblems/389.lean

Formal Conjectures

FormalConjectures/ErdosProblems/389.leanErdos389.erdos_3891 lineExact file

1True ↔ ∀ n ≥ 1, ∃ k ≥ 1, ∏ i ∈ Finset.range k, (n + i) ∣ ∏ i ∈ Finset.range k, (n + k + i)

OpenStatement only, no proof