Erdős problem 386 · problems.science

There is a $k$ , such that $2 \le k \le n - 2$ and $\binom{n}{k}$ can be the product of consecutive primes infinitely often?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

386.lean

Retained formal statement3 of 3

Can $\binom{n}{2}$ be the product of consecutive primes infinitely often?

FormalConjectures/ErdosProblems/386.leanErdos386.erdos_386.variants.two1 lineExact file

1True ↔ ∃ᶠ (n : ℕ) in Filter.atTop, 2 ≤ n - 2 ∧ ∃ p q, n.choose 2 = ∏ i ∈ Finset.Ico p q, Nat.nth Nat.Prime i

OpenStatement only, no proof