sum_(k=0)^∞ P(k)