Erdős problem 1093 · problems.science

Are there only finitely many binomial coefficients with deficiency > 1?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1093.lean

Retained formal statement1 of 2

Are there infinitely many binomial coefficients with deficiency 1?

FormalConjectures/ErdosProblems/1093.leanErdos1093.erdos_1093.parts.i5 linesExact file

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

OpenStatement only, no proof

Sources

Search problems.science