Banach-Alaoglu Theorem

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

Then the closed unit ball in its normed dual $X^*$ is weak* sequentially compact.