 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-Šmulian theorem.