{"schema":"vela.problem-packet.v0.1","problem":692,"statement":"Let $\\delta_1(n,m)$ be the density of the set of integers with exactly one divisor in $(n,m)$. Is $\\delta_1(n,m)$ unimodular for $m>n+1$ (i.e. increases until some $m$ then decreases thereafter)? For fixed $n$, where does $\\delta_1(n,m)$ achieve its maximum?","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)"}