{"schema":"vela.problem-packet.v0.1","problem":838,"statement":"Let $f(n)$ be maximal such that any $n$ points in $\\mathbb{R}^2$, with no three on a line, determine at least $f(n)$ different convex subsets. Estimate $f(n)$ - in particular, does there exist a constant $c$ such that\\[\\lim \\frac{\\log f(n)}{(\\log n)^2}=c?\\]","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)"}