 Bounded-weight importance-sampling moment bound

If $f\le Mg$, the importance weight $w=f/g$ is bounded by $M$, and ${\mathbb{E}}_g[{\varphi }^2{w}^2]\le M{\mathbb{E}}_f{\varphi }^2$. A finite target second moment therefore guarantees finite variance and the iid central limit theorem for the unnormalized importance-sampling average. Its proposal-budget variance is ${\mathbb{E}}_g[{\varphi }^2{w}^2]-({\mathbb{E}}_f\varphi {)}^2$.