37890da8ee2be0ad.tex
1: \begin{proof}[Proof of Theorem~\ref{theorem_nga_special}]
2: \begin{enumerate}
3: 	\item Let $d_n(\mathcal{F,X}) \le A \exp(-a n^\alpha)$ with some constants $0 < \alpha,a,A < \infty$.
4: 	Then Theorem~\ref{theorem_nga_indirect} provides for $n = 2m$
5: 	\[
6: 		\sigma_{2m} 
7: 		\le \sqrt{2} B_m^g \gamma_{3m} \sqrt{d_m}
8: 		\le \sqrt{2A} B_m^g \gamma_{3m} \exp\br{-\frac{a}{2} m^\alpha},
9: 	\]
10: 	which proves the desired estimate.
11: 	\item Proof of this part essentially uses the proof of Theorem~\ref{theorem_nga_indirect} with additional rigorous technical estimates, and repeats to the letter the proof of the corresponding result for the OGA presented in~\cite[Theorem~2.3]{wo2015} and~\cite[Theorem~3.1]{ng2018}.
12: 	Since the proof of Theorem~\ref{theorem_nga_indirect} is provided in this paper, we leave the meticulous technical estimates to the interested reader.
13: \end{enumerate}
14: \end{proof}
15: