Uncentered maximal function of a finite measure ($M_u\mu (x)={\sup }_{x\in B}\mu (B)/|B|$)

The uncentered maximal function takes the supremum over all open Euclidean balls containing $x$, not only balls centred at $x$. It is an extended nonnegative lower semicontinuous function: each strict superlevel set is the union of the balls whose average density exceeds that level. For finite positive measures it satisfies the uncentered maximal weak-type inequality.

For a finite positive measure on Euclidean space, cover a compact subset of the maximal superlevel set by finitely many high-density balls. Wiener covering lemma selects disjoint balls whose triples cover it. Their total measure mass is at most the mass of the original measure. Inner regularity of Lebesgue measure yields the displayed bound. Applied to approximation errors, it proves the Lebesgue differentiation theorem.