{"schema":"vela.problem-packet.v0.1","problem":1178,"statement":"For $r\\geq 3$ let $d_r(e)$ be the minimal $d$ such that\\[\\mathrm{ex}_r(n,\\mathcal{F})=o(n^2),\\]where $\\mathcal{F}$ is the family of $r$-uniform hypergraphs on $d$ vertices with $e$ edges.Prove that\\[d_r(e)=(r-2)e+3\\]for all $r,e\\geq 3$.","status":"open","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)"}