Added alternative argument for bound on ∑ nʳ e^{-λ n}.
reorganized