$L^p$ is a Banach Space