{"schema":"vela.problem-packet.v0.1","problem":1050,"statement":"Is\\[\\sum_{n=1}^\\infty \\frac{1}{2^n-3}\\]irrational?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A331372","name":"Decimal expansion of Sum_{k>=1} 1/(2^k - 3).","terms":"3,4,3,6,7,3,4,3,3,1,8,1,7,6,9,0,1,8,5,4,4,4,8,2,8,3,3,3,8,1,2,4,1,2,0,6,1,8,8,8,0,7,1,7,6,4,8,6,7,8,3,8,4,8,6,5,1,1,0,5,","url":"https://oeis.org/A331372"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}