{"schema":"vela.problem-packet.v0.1","problem":1096,"statement":"Let $1<q<1+\\epsilon$ and consider the set of numbers of the shape $\\sum_{i\\in S}q^i$ (for all finite $S$), ordered by size as $0=x_1<x_2<\\cdots$.Is it true that, provided $\\epsilon>0$ is sufficiently small, $x_{k+1}-x_k \\to 0$?","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)"}