“…This basic (and somewhat vague) approach has been key in many proofs of the Mermin-Wagner theorem in statistical physics, including [18,33,19,39,41,34], [22,Theorem 9.2] and [38, Section 2.6]), whence the name, but has also been used in other contexts, e.g. in [42,12,30,21]. Our treatment here draws inspiration from [39,41,34,30] and has the benefit of providing Gaussian lower bounds on the tail probabilities.…”