A Quick Proof of the Completeness of L^p

Welcome to the channel! I first encountered this (partial) proof of the Riesz-Fischer theorem on the following YouTube playlist from Rio de Janeiro's IMPA:    • Programa de Doutorado: Análise Funcional   For a more thorough explanation of this and other topics by far more experienced people, the course is worth a watch.