Weak sequential compactness of bounded sequences in a reflexive Banach space (source code)

= Weak sequential compactness of bounded sequences in a reflexive Banach space

Every bounded sequence in a <reflexive Banach space> has a weakly convergent subsequence. This is the sequential form of weak compactness supplied by the <Eberlein-Smulian theorem>.