{"schema":"vela.problem-packet.v0.1","problem":893,"statement":"If $\\tau(n)$ counts the divisors of $n$ then let\\[f(n)=\\sum_{1\\leq k\\leq n}\\tau(2^k-1).\\]Does $f(2n)/f(n)$ tend to a limit?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A046801","name":"Number of divisors of 2^n-1.","terms":"1,2,2,4,2,6,2,8,4,8,4,24,2,8,8,16,2,32,2,48,12,16,4,96,8,8,8,64,8,96,2,32,16,8,16,512,4,8,16,192,4,144,8,128,64,16,8,768","url":"https://oeis.org/A046801"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}