where
q(x) is the density of
X at
x and the factor in parentheses is the conditional acceptance probability at
x; the expected number of trials is exactly
M — tighter envelopes (
M close to 1) are more efficient, and the result is independent of the normalization constant of
p (any constant factor is absorbed into the envelope).