Let $X$ be a Banach space and let $\operatorname{Lip}_{0}(X)$ be the space of all real-valued Lipschitz functions which vanish at $0$. The space $\operatorname{Lip}_{0}(X)$ is a Banach space when it is equipped with the Lipschitz norm, defined by:
$$L(f)=\|f\|_{\operatorname{Lip}}=\sup\left\{\frac{f(x)-f(y)}{\|x-y\|}:\,x,y\in X,\,x\neq y\right\}$$
My goal is to show that the closed unit ball of the space $\operatorname{Lip}_{0}(X)$ is compact for the topology of pointwise convergence. I have try with no success to use Tychonoff theorem or Banach-Alaoglu theorem. I failed because the Banach-Alaoglu theorem concerned the closed unit ball of the dual space with the weak-star topology.
Thank for any help.