For an integrable real random variable , its cumulant-generating function is the extended-real convex function
where if the exponential moment diverges. Its Legendre transform of a cumulant-generating function is
For a centered random variable , being sub-Poisson in the right tail with variance parameter means
It is sub-Gamma in the right tail with variance parameter and scale parameter when
A centered random variable is sub-Gaussian with variance parameter when
The Chernoff bound, applied to and , yields
The tail integral formula for moments and the substitution now give
For an integrable random variable , the law of total expectation for the partition of a sample space is
Parts of zero probability contribute zero and need no definition of . To see the identity, write and use linearity of expectation; integrability justifies the countable sum since .
For a nonnegative integer-valued random variable, its probability generating function is
The convention , including at , gives . The power series has absolute convergence for every real , since . More generally its real domain as a finite expected value is , which may extend beyond . No extension beyond that guaranteed interval is automatic.
Every assignment determines a unique set partition into its nonempty colour classes. If there are such blocks of a set partition, there are choices for that set partition. For each fixed choice, assign distinct colours to the blocks of a set partition in
ways. Although the blocks of a set partition are unlabelled, they are distinguishable by their elements: ordering them temporarily, for instance by their least elements, counts each assignment exactly once. The falling factorial is zero when , as it should be. Summing over the possible numbers of used colours proves
Here is the Stirling number of the second kind. Both sides are polynomials in and agree at infinitely many integers , so the identity also holds for every real , including . This extension will justify substituting the random variable in part (iii).
Expand the square and use linearity of expectation, together with and :
This proof applies whenever the second moment is finite, and does not require the random variable to be continuous.
For a random variable with a continuous probability distribution and probability density function , the mean and variance are
A finite mean requires . A finite variance additionally requires the second moment to be finite; without that condition the nonnegative integral for the variance may be infinite.
For random variables with finite second moments, the variance of a sum is
No independence assumption is needed.
For a nonnegative integer-valued random variable , the tail-sum formula states . It follows by writing and using nonnegativity to interchange sum and expectation.
With , this gives
The Riemann zeta function is finite here because .
For an outcome , the two random variables are the coordinate maps
Their marginal probability mass functions are on , and their joint probability mass function satisfies
Off that support, the same factorization holds with zeros. Hence and are independent random variables, by the joint probability mass function criterion for independence.
For random variables with finite second moments, their covariance is
The Cauchy-Schwarz inequality ensures the product is integrable. Expand and use linearity of expectation:
The same identity holds whenever the quantities involved exist with sufficient integrability.
An expected value of a signed random variable is finite precisely when its absolute value is integrable. With the standard normal distribution probability density function,
For , this integral equals . For , its integrand does not decay sufficiently and the integral diverges. Therefore
The value is zero by the odd function and the symmetric distribution. For the other , both positive and negative parts have infinite integrals; formal cancellation would give only a Cauchy principal value, not an expected value. This distinction is the integrability threshold for exponential powers of a Gaussian.
For a continuous random variable with probability density function , its expected value and variance are
The mean requires an integrable first absolute moment, and a finite variance requires a finite second moment. When these hold, .
Interpreting as the probability density function of the random variable, for one has
A single point has zero probability, so including or excluding either endpoint does not change this result.
The random variable is the sum . The linearity of expectation gives
Multiplication by reverses the mean but preserves the variance. Under the independence assumption used in part (b), the variance of a sum gives
Thus both predictions agree with the direct integrals. For the actual elapsed time, adding twenty-five changes the mean to twenty-five minutes and leaves the variance at minute squared.
Without independence, the correct expression is when both marginals are uniform. This explains why independent endpoint errors must be part of the intended model rather than a consequence of the display format.
The preceding marginal calculation makes each uniformly distributed on , with expectation and variance . By independence,
Apply part (a) to the centred random variable to obtain
This is Chebyshev's inequality in this setting.