Take . From the definition of a moment-generating function, , for where the expectation is finite.
Take . Independence makes the joint exponential expectation factor:
This is the product rule for the moment-generating function of an independent sum.
Take , where is an independent copy of . The preceding factorization gives . Using would instead give , so an independent copy is required.
Take , where is uniform on and independent of . Conditioning on gives
For near zero this is finite because the moment-generating function of is finite on a neighborhood of zero; Tonelli's theorem justifies the conditioning integral for the nonnegative exponential.

Articles by others on the same topic (0)

There are currently no matching articles.