Riesz–Fischer theorem - Wikipedia
The theorem was proven independently in 1907 by Frigyes Riesz and Ernst Sigismund Fischer. For many authors, the Riesz–Fischer theorem refers to the fact that the Lp spaces from Lebesgue integration theory are complete.