Higher correlation inequalities

We prove a correlation inequality for n increasing functions on a distributive lattice, which for n = 2 reduces to a special case of the FKG inequality. The key new idea is to reformulate the inequalities for all n into a single positivity statement in the ring of formal power series. We also conjecture that our results hold in greater generality.