Assertion: euclidean space's dimension | /r/HasProperty | required as a function of $m$.
Facets:
Source sentences:
text: (We can even improve on this, but there is no known closed-form formula for the maximum dimension required as a function of $m$.)