Problem

erdos:1093

sorry ↔ {x | have k := x.1; have n := x.2; 2 * k ≤ n ∧ Erdos1093.deficiency n k = 1 ∧ ∀ (p : ℕ), Nat.Prime p → p ∣ n.choose k → k < p}.Infinite

Open Current State

Declared status: open
Formalization: formalized
Subjects: number theorybinomial coefficients
OEIS: N/A
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