{"schema":"vela.problem-packet.v0.1","problem":309,"statement":"Let $N\\geq 1$. How many integers can be written as the sum of distinct unit fractions with denominators from $\\{1,\\ldots,N\\}$? Are there $o(\\log N)$ such integers?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A217693","name":"Numbers of distinct integers obtained from summing up subsets of {1, 1/2, 1/3, ..., 1/n}.","terms":"1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,","url":"https://oeis.org/A217693"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}