Weakly Cauchy sequence (source code)

= Weakly Cauchy sequence

A sequence $(x_n)$ is weakly Cauchy when $(f(x_n))$ is a <Cauchy sequence> for every continuous linear functional $f$. Its consecutive differences form a <weakly null sequence>.