Mazur's lemma (source code)

= Mazur's lemma
{c}
{wiki}

= Mazur lemma
{c}
{synonym}

If $x_n$ converges weakly to $x$ in a Banach space, there are convex combinations of each tail $\{x_n,x_{n+1},\ldots\}$ that converge in norm to $x$.