Kakeya inequality (source code)

= Kakeya inequality

Kakeya inequalities bound overlaps of long thin tubes with controlled directions.

These tube estimates are used to study <Kakeya sets> and their dimension.