 Lp norms converge to the supremum norm

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.