Normalization of the probability density function requiresHence . The distribution is a Pareto distribution with minimum one and shape parameter .
For an integer , is the same event as . Integration for the Pareto distribution givesThe second identity subtracts two successive tail probabilities, equivalently integrating over . If includes zero, the extra case is and , since almost surely.
For a nonnegative integer-valued random variable , the tail-sum formula states . It follows by writing and using nonnegativity to interchange sum and expectation.
By part iii, is an integer with probability zero. Thus almost surely, andThe pointwise inequalities implyPutting and rearranging yieldsThis extracts bounds for an infinite series from simple rounding inequalities.
Articles by others on the same topic
There are currently no matching articles.