Lemma 5.10 ([1]}) 
There exists \(C > 0\)  that depends on \(L\)  such that for any \(t \in [T]\)  and \(F : [L]^R \rightarrow [0, 1]\) ,
\(\mathbb {E}_{(y, z) \in \mu _t^{\otimes r}} [F(y) F(z)] \le \Vert  F \Vert _2 \Vert F\Vert _{2 - C}.\) 


Лемма 5.10 ([1]}) 

Существует \(C > 0\), зависящая от \(L\), такая что для любых \(t \in [T]\) и \(F : [L]^R \rightarrow [0, 1]\),

\(\mathbb {E}_{(y, z) \in \mu _t^{\otimes r}} [F(y) F(z)] \le \Vert  F \Vert _2 \Vert F\Vert _{2 - C}.\)