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

FormalConjectures/ErdosProblems/

1093.lean

Retained formal statement2 of 2

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

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

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

OpenStatement only, no proof