Linked from

The 2 pages that link to Vitali covering lemma, each with the reason it gives.

• Hardy–Littlewood maximal functionRelated: It turns many high-average neighborhoods into a controlled measure estimate.

• Vitali covering theoremRelated: This formulation makes the theorem’s disjoint-ball selection explicit.