{"schema":"vela.problem-packet.v0.1","problem":754,"statement":"Let $f(n)$ be maximal such that there exists a set $A$ of $n$ points in $\\mathbb{R}^4$ in which every $x\\in A$ has at least $f(n)$ points in $A$ equidistant from $x$.Is it true that $f(n)\\leq \\frac{n}{2}+O(1)$?","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)"}