{"schema":"vela.problem-packet.v0.1","problem":950,"statement":"Let\\[f(n) = \\sum_{p<n}\\frac{1}{n-p}.\\]Is it true that\\[\\liminf f(n)=1\\]and\\[\\limsup f(n)=\\infty?\\]Is it true that $f(n)=o(\\log\\log n)$ for all $n$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}