The random-walk representation of classical spin systems and correlation inequalities. Pt. 2

We use the random-walk representation to prove the first few of a new family of correlation inequalities for ferromagnetic PHI4 lattice models. These inequalities state that the finite partial sums of the propagator-resummed perturbation expansion for the 4-point function form an alternating set of rigorous upper and lower bounds for the exact 4-point function. Generalizations to 2n-point functions are also given. A simple construction of the continuum PHIsub(d)4 quantum field theory (d<4), based on these inequalities, is described in a companion paper. (orig.)