Skip to content

Problem

erdos:389

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

Open Current State
Declared status
open
Formalization
formalized
Subjects
number theory
OEIS
A375071
Sources
source:erdos-problemssource:formal-conjectures
Statement
www.erdosproblems.com

Matching claims

0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims