1: \begin{proof}[Proof of Theorem \ref{thm:average}] Let $\e>0$. By initialization with Proposition \ref{prop:init} and a finite number of iterations of Proposition \ref{prop:keyrec}, 

2: for any fixed (small) $\alpha>0$ and (large) $D>0$, 

3: there exist $C$ and $N_0$ such that for any $\nu\in[0,1]$, $N\geq N_0$,

4: $$

5: \mathbb{P}

6: \left(

7: |{\frak u}^{(\nu)}_k(t)-\bar {\frak u}_k(t)|<\frac{N^\e}{N^2 t}

8: \ {\rm for\ all}\ k\in\llbracket \alpha N,(1-\alpha)N\rrbracket \ {\rm and}\  t\in[\varphi^C/N,1]

9: \right)

10: >

11: 1-N^{-D}.

12: $$

13: The same estimate holds after integration over $\nu\in[0,1]$, with rigorous justification given by large moments and Markov's inequality, similarly to the argument  after (\ref{eqn:ub}).

14: \end{proof}

15: