1: \begin{proof} The idea of the proof is to establish the large deviations principle for

2: the measures $\Pp_{N}$, which would show that the measure is concentrated on

3: $\ell_i$ which maximize the probability density \eqref{eq_Binomial_ensemble}. This

4: was done rigorously in \cite{Johansson_shape}, \cite{Johansson_paths}, \cite{Feral},

5: see also Section \ref{Section_weak_estimate_1} below for some details. The explicit

6: formula for the measure $\mu_{\m}(x)dx$ is then obtained as a solution of a

7: variational problem, this solution for our weight was found earlier in \cite[Example

8: 4.2]{DS}.

9: \end{proof}

10: