P
Initializing...
Existence of the hard arena family, with diameter $\le 4(\delta^{-1}+d+1)$ uniformly in $(\delta,\Delta)$ · Prove2Me