sum from s = 0 to n choose(n,s) p^s(1-p)^(n-s) e^{-ts}