Banach-Alaoglu Theorem

Theorem
Let $X$ be a separable normed vector space.

Then the closed unit ball in its normed dual $X^*$ is sequentially compact with respect to the weak-$\ast$ topology.