{"schema":"vela.problem-packet.v0.1","problem":223,"statement":"Let $d\\geq 2$ and $n\\geq 2$. Let $f_d(n)$ be maximal such that there exists some set of $n$ points $A\\subseteq \\mathbb{R}^d$, with diameter $1$, in which the distance 1 occurs between $f_d(n)$ many pairs of points in $A$. Estimate $f_d(n)$.","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)"}