1: $. We then have the

2: 

3: \begin{cor}[Convergence of the least eigenvalue of $