l_p is complete

A proof on Stack Exchange that lp is complete.