{"schema":"vela.problem-packet.v0.1","problem":377,"statement":"Is there some absolute constant $C&#62;0$ such that\\[\\sum_{p\\leq n}1_{p\\nmid \\binom{2n}{n}}\\frac{1}{p}\\leq C\\]for all $n$ (where the summation is restricted to primes $p\\leq n$)?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[{"id":"att_b4ac5035597898bc","kind":"partial_proof","claim":"Erdős 377 (is ∑_{p<=n, p∤C(2n,n)} 1/p bounded?) is confirmed OPEN — not settled here. Verified contributions: (i) exact Kummer reformulation f(n)=∑ 1/p over primes p that are \"p-flat\" (all base-p digi","grade":"partial_proof","gateStatus":"needs_verification","superseded":false}],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}