Erdős problem 377 · problems.science

Is there some absolute constant $C > 0$ such that $\sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} \leq C$ for all $n$ ?

No current result

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

FormalConjectures/ErdosProblems/377.lean

Formal Conjectures

FormalConjectures/ErdosProblems/377.leanErdos377.erdos_3771 lineExact file

1True ↔ ∃ C > 0, ∀ (n : ℕ), Erdos377.sumInvPrimesNotDvdCentralBinom n ≤ C

OpenStatement only, no proof