
\[\sum_{n}{\left|c_{n}\right|}^{2}\leq{\left\|{v}\right\|}^{2},\]