Kakeya Minkowski dimension conjecture (source code)

= Kakeya Minkowski dimension conjecture
{c}
{title2=$\dim_{\mathrm M}E=n$}

The dimension assertion asks that every bounded <Kakeya set> in $\mathbb R^n$ have full <Minkowski dimension>. The <Kakeya maximal conjecture> implies the stronger lower-dimension conclusion: its application to $E_\delta$ gives $|E_\delta|\gtrsim_{n,\varepsilon}\delta^{n\varepsilon}$, hence $N_\delta(E)\gtrsim_{n,\varepsilon}\delta^{-n+n\varepsilon}$ for every $\varepsilon>0$.