Let $G _ { 0 } = \left( S _ { 0 } , A _ { 0 } \right)$ be a particular fixed graph with $s _ { 0 } = s _ { G _ { 0 } }$, $a _ { 0 } = a _ { G _ { 0 } }$, $s_0 \geq 2$, $a_0 \geq 1$. We now assume that $\lim _ { n \rightarrow + \infty } \left( n ^ { \omega _ { 0 } } p _ { n } \right) = + \infty$. For $k \in \llbracket 0 , s _ { 0 } \rrbracket$, we denote:
$$\Sigma _ { k } = \sum _ { \substack { \left( H , H ^ { \prime } \right) \in C _ { 0 } ^ { 2 } \\ s _ { H \cap H ^ { \prime } } = k } } \mathbf { P } \left( H \cup H ^ { \prime } \subset G \right)$$
Show that $\Sigma _ { 0 } \leq \left( \mathbf{E} \left( X _ { n } ^ { 0 } \right) \right) ^ { 2 }$.