Lebesgue differentiation theorem

For every locally integrable f on ℝⁿ, the spherical averages of f converge to f(x) at almost every point. Corollary of the Vitali covering theorem via the Hardy-Littlewood maximal inequality. Recovers the fundamental theorem of calculus…