$\sqrt{n}\sup_x|F_n-F|=\sup_x|\frac{1}{\sqrt{n}}\sum_{i=1}^nZ_i(x)| $
donde $Z_i(x)=1_{X_i\leq x}-E[1_{X_i\leq x}]$
por CLT tiene
$G_n=\frac{1}{\sqrt{n}}\sum_{i=1}^nZ_i(x)\rightarrow \mathcal{N}(0,F(x)(1-F(x)))$
esta es la intuición...
browniano puente de $B(t)$ varianza $t(1-t)$ http://en.wikipedia.org/wiki/Brownian_bridge reemplace$t$$F(x)$. Este es uno de los $x$...
También es necesario comprobar la covarianza y, por tanto, todavía es fácil demostrar (CLT) que
para ($x_1,\dots,x_k$)
$(G_n(x_1),\dots,G_n(x_k))\rightarrow (B_1,\dots,B_k)$ donde $(B_1,\dots,B_k)$ $\mathcal{N}(0,\Sigma)$ con $\Sigma=(\sigma_{ij})$, $\sigma_{ij}=\min(F(x_i),F(x_j))-F(x_i)F(x_j)$.
La difícil parte es mostrar que la distribución de la suppremum de que el límite es el supremum de la distribución de los límite... la Comprensión de por qué ocurre esto requiere algún proceso empírico de la teoría, la lectura de libros como los de van der Waart y Welner (no es fácil). El nombre del Teorema es el Teorema de Donsker http://en.wikipedia.org/wiki/Donsker%27s_theorem ...