Solution
= Solution
Under the null, $\varepsilon_1$ and $\xi_1$ have <conditional independence> given $z_1$. The <law of total expectation> gives
$$
\mathbb E(\varepsilon_1^2\xi_1^2)
=\mathbb E\!\left[
\mathbb E(\varepsilon_1^2\mid z_1)
\mathbb E(\xi_1^2\mid z_1)
\right]
\leq C^2.
$$