Proof Follows Thm.REF , Lem.REF , Thm.REF  and the fact that \(\hat{\mathfrak {R}}_{N\cdot N_C}(\Pi \circ \mathcal {F})\le \frac{R_{\mathcal {X}}\gamma (\sqrt{2\log (2)L}+1)}{N\cdot N_C}\)  from Thm.1 in [1]}.

