Lp norms converge to the supremum norm (${\lim }_{p\to \infty }\Vert f{\Vert }_p=\Vert f{\Vert }_{\infty }$)

On a measure space of finite measure, a bounded measurable function satisfies the displayed limit, where the right side is the essential supremum of its absolute value. The upper estimate is $\Vert f{\Vert }_p\le \mu (X{)}^{1/p}\Vert f{\Vert }_{\infty }$. For every $a<\Vert f{\Vert }_{\infty }$, the set where $|f|>a$ has positive measure, giving the reverse limiting estimate. For a continuous function on an open Euclidean domain, the essential supremum equals the ordinary supremum. Finiteness of the measure is part of this statement.