Proof of Theorem 6, first display — $\log N\le-\log\beta_{\epsilon+\delta+\eta}(P_{M\hat MZ^n\mathbf F},Q_{M\hat MZ^n\mathbf F})+2\log\frac1\eta$

Initializing...

Proof of Theorem 6, first display — $\log N\le-\log\beta_{\epsilon+\delta+\eta}(P_{M\hat MZ^n\mathbf F},Q_{M\hat MZ^n\mathbf F})+2\log\frac1\eta$ · Prove2Me