Large deviation results for percolation of Gaussian Free Field level-sets

Proposition 27.. In this section we prove Theorem 8. However, we shall first prove a slightly weaker result, namely, Lemma 30 below. For the proof of this lemma, we need the