Ginibre inequality

For the ferromagnetic O(2) model, cosine observables with nonnegative integer coefficients are positively correlated. One form isfor $a,b\in {\mathbb{Z}}_{\ge 0}^{\Lambda }$, with analogous product forms.