Let where , and set it to zero on the g-null set where . The domination assumption makes there and gives . Integrating it also gives . For iid proposals , the importance sampling estimator is
Cauchy-Schwarz inequality under gives . Direct integration proves unbiasedness, . Moreover
Thus
The iid central limit theorem applies to these finite-variance weighted observations:
If the variance is zero, this denotes the point mass at zero. This is the bounded-weight importance-sampling moment bound.
Draw independent and identically distributed random variables and use the importance weight . The importance sampling estimator is
The envelope supplies the support condition for importance sampling. Since , this is an unbiased estimator. Moreover, , so
Here . Subtracting the squared expected value and dividing by proves the bounded-weight importance-sampling moment bound in the requested form: