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.
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
There are currently no matching articles.