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: