$\forall f\in L^p(X,\mathcal{F},\mu)$. $(L^p (X,\mathcal{F},\mu),\|\cdot\|_{L^p})$ is a Banach Space.