Erdős problem 387 · problems.science

Is there an absolute constant $c > 0$ such that, for all $1 \leq k < n$ , the binomial coefficient $\binom{n}{k}$ has a divisor in $(cn, n]$ ?

Sources

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

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

387.lean

Retained formal statement4 of 4

The following is Schinzel's conjecture, which appears in [Gu04].

FormalConjectures/ErdosProblems/387.leanErdos387.erdos_387.variants.schinzel1 lineExact file

1True ↔ ∀ᶠ (k : ℕ) in Filter.atTop, ¬IsPrimePow k → ∃ n, ∀ i < k, ¬n - i ∣ n.choose k

OpenStatement only, no proof