Erdős problem 1094 · problems.science

For all $n\ge 2k$ the least prime factor of $\binom{n}{k}$ is $\le\max(n/k,k)$ , with only finitely many exceptions.

No current result

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

FormalConjectures/ErdosProblems/1094.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1094.leanErdos1094.erdos_10941 lineExact file

1{(n, k) | 0 < k ∧ 2 * k ≤ n ∧ (n.choose k).minFac > max (n / k) k}.Finite

OpenStatement only, no proof