Taylor coefficients of inner functions and Beurling's theorem for the shift

The purpose of this expository note is to give a proof of a Schur-type theorem that characterizes the inner functions in terms of their Taylor coefficients. In view of Beurling's theorem, this provides a sequential characterization of the shift-invariant subspaces of $\ell^2$.