Expand the analytic factor around zero by the binomial series:
Every coefficient is nonnegative. Adding to the constant coefficient gives probabilities with sum . Define for . This is a nonnegative integer-valued random variable and its probability generating function is exactly . The power series has radius , so the evaluations and derivatives used below are finite.
For a probability generating function, and . Here
Thus and . Adding the first moment gives , hence
Markov's inequality states that for a nonnegative random variable and ,
It follows immediately from and monotonicity of expectation. A finite expectation makes the bound informative.
By the definition of the probability generating function,
The evaluation at two is valid because two is inside the power-series radius .
The event is the same as . Apply Markov's inequality to the nonnegative random variable and use part (iv):
The strict numerical comparison is enough even though the probabilistic inequality itself is non-strict.

Articles by others on the same topic (0)

There are currently no matching articles.