l_1 is a Banach space

A proof on Stack Exchange that l1 is complete.