Ricci Limit Spaces Are Semi-locally Simply Connected

Let $(X,p)$ be a Ricci limit space. We show that for any $ϵ>0$ and $x\in X$, there exists $r<ϵ$, depending on $ϵ$ and $x$, so that any loop in $B_r(x)$ is contractible in $B_{ϵ}(x)$. In particular, $X$ is semi-locally simply connected. Then we show that the generalized Margulis lemma holds for Ricci limit spaces of $n$-manifolds.