{"schema":"vela.problem-packet.v0.1","problem":285,"statement":"Let $f(k)$ be the minimal value of $n_k$ such that there exist $n_1<n_2<\\cdots <n_k$ with\\[1=\\frac{1}{n_1}+\\cdots+\\frac{1}{n_k}.\\]Is it true that\\[f(k)=(1+o(1))\\frac{e}{e-1}k?\\]","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A030659","name":"Smallest possible maximum denominator in an expression for 1 as a sum of n distinct unit (Egyptian) fractions.","terms":"6,12,15,15,18,20,24,24,28,30,33,33,35,36,40,42,48,52,52,54,55,55,56,60,63,72,75,75,76,76,77,78,80,85,85,88,90,95,96,96,1","url":"https://oeis.org/A030659"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}