Banach-Alaoglu theorem

Let $X$ be a normed space, and let $X^{*}$ be its dual. Then the closedunit ball of $X^{*}$,

$$\{f\in X^{*}:\parallel f\parallel \le 1\}$$

is compact in the weak-$*$ topology.