1: \begin{proof}

2: By using the interpolation method mentioned above, one can prove \cite{albeverio2003lectures,toninelli2002rigorous} that

3: \be\label{eq107}

4: \mathbb{P}\left(\left| \frac{1}{2^{k+1}} \log Z_{k+1} - f_{k+1} \right| \geq \frac{1}{2^{(k+1)/4}} \right) \leq 2 \exp\left[ - 2^{(k+1)/2} \frac{2^{\sigma}-1}{2 \, 2^{\sigma} \beta^2 }\right]. 

5: \ee

6: Equation (\ref{eq107}) and Borel-Cantelli Lemma imply that 

7: \be

8: \left| \frac{1}{2^{k+1}} \log Z_{k+1} - f_{k+1} \right| \geq \frac{1}{2^{(k+1)/4}}

9: \ee

10: only for finitely many $k$, which proves Eq. (\ref{eq106}). 

11: \end{proof}

12: