Put and . Sum the bounds in part (a) over the vertices, using linearity of expectation and the Tonelli theorem for the nonnegative series:
The bound remains valid if the series diverges, although it then gives no finite estimate. When the spectral radius of is less than one, the series is a Neumann series, giving the resolvent bound for a discrete SIR epidemic.
The displayed condition and the resolvent bound for a discrete SIR epidemic imply . The Markov inequality then makes in probability. A sufficient special case is a sublinear initial infected count with a fixed positive gap . The inequality at each finite population size alone does not control a shrinking gap or an initially macroscopic outbreak.