Asymptotic shape conjecture. There exists a bounded convex set U⊂\mathdsRdU\subset\mathds{R}^dU⊂\mathdsRd such that, for every ε>0\varepsilon>0ε>0,