{"schema":"vela.problem-packet.v0.1","problem":823,"statement":"Let $\\alpha\\geq 1$. Is there a sequence of integers $n_k,m_k$ such that $n_k/m_k\\to \\alpha$ and $\\sigma(n_k)=\\sigma(m_k)$ for all $k\\geq 1$, where $\\sigma$ is the sum of divisors function?","status":"solved","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)"}