Lebesgue differentiation theorem

in real analysis, the theorem that, for almost every point, the value of an integrable function is the limiting average taken around the point