Theorem 12.1.11 (Markov’s Inequality). Let $(X, \cm, \mu)$ be a measure space, $E$ be a normed vector space, and $f: X \to E$ be a Borel measurable function, then
For any $\alpha > 0$,
\[\mu\bracs{|f| \ge \alpha}\le \frac{1}{\alpha}\norm{f}_{L^1(X; E)}\]For $\alpha > 0$ and strictly increasing function $\phi: [0, \infty) \to [0, \infty)$,
\[\mu\bracs{|f| \ge \alpha}\le \frac{1}{\phi(\alpha)}\norm{\phi \circ |f|}_{L^1(X; E)}\]For any $\alpha > 0$,
\[\mu\bracs{|f| \ge \alpha}\le \frac{1}{\alpha^{p}}\norm{f}_{L^p(X; E)}^{p}\]
Proof. (1): For any $\alpha > 0$,
\begin{align*}\mu\bracs{|f| \ge \alpha}&= \int_{\bracs{f \ge \alpha}}d\mu \le \frac{1}{\alpha}\int |f|d\mu = \frac{\norm{f}_{L^1(X; E)}}{\alpha}\end{align*}
(2): By Lemma 18.3.3, $\phi: [0, \infty) \to [0, \infty)$ is Borel measurable. Since $\phi$ is strictly increasing, $\bracs{|f| \ge \alpha}= \bracs{\phi \circ |f| \ge \phi(\alpha)}$, and the result holds by applying (1) to $\phi \circ |f|$.
(3): Since $x \mapsto x^{p}$ is strictly increasing on $[0, \infty)$, applying (2) to $\phi(x) = x^{p}$ yields the desired result.$\square$