{"schema":"vela.problem-packet.v0.1","problem":1085,"statement":"Let $f_d(n)$ be minimal such that, in any set of $n$ points in $\\mathbb{R}^d$, there exist at most $f_d(n)$ pairs of points which distance $1$ apart. Estimate $f_d(n)$.","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A186705","name":"The Erdős unit distance problem: the maximum number of occurrences of the same distance among n points in the plane.","terms":"0,1,3,5,7,9,12,14,18,20,23,27,30,33,37,41,43,46,50,54,57","url":"https://oeis.org/A186705"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}