Let $f (n)$ be maximal such that there exists a set $A$ of $n$ points in $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)$ ?

unreviewedOpen. Worked here; no verified result yet.

geometry · solved · possible · 0 attempts

use this data

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

Connections1

Check it yourself

One command re-derives this record's receipts on your machine.

vela reproduce examples/erdos-problems

Search Vela