The on-site potential of the Phi-four lattice model is
In the random-walk representation of a lattice-field covariance, is a Green function for a nearest-neighbour walk with a nonnegative environment-dependent killing rate bounded below by a positive constant depending on . Dropping the quartic contribution can only decrease that killing, so
The massive lattice Green function has the killed-walk expansion
with normalization adjusted to the chosen Laplacian. Reaching requires at least steps, while the geometric survival factor is strictly below one. Summing the tail gives constants such that