{"schema":"vela.problem-packet.v0.1","problem":270,"statement":"Let $f(n)\\to \\infty$ as $n\\to \\infty$. Is it true that\\[\\sum_{n\\geq 1} \\frac{1}{(n+1)\\cdots (n+f(n))}\\]is irrational?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A073016","name":"Decimal expansion of Sum_{n>=1} 1/binomial(2n,n).","terms":"7,3,6,3,9,9,8,5,8,7,1,8,7,1,5,0,7,7,9,0,9,7,9,5,1,6,8,3,6,4,9,2,3,4,9,6,0,6,3,1,2,5,8,3,2,9,0,9,4,9,7,9,0,5,6,8,2,1,9,6,","url":"https://oeis.org/A073016"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}