The acceptance mass for an unnormalized rejection envelope follows by integrating the proposal-specific acceptance probability:
The inequality also gives , so this is a valid probability. It is the same at every independent trial.
If indicates acceptance of the th proposal, then are independent Bernoulli distribution variables with parameter . Hence the accepted count satisfies
Its variance is . Conditional on any acceptance pattern, the accepted values have independent target probability density function ; mixing over patterns retains this product law conditional on their count.
Average the conditional probability in (i) over :
This is exactly the acceptance mass for an unnormalized rejection envelope. In normalized form the envelope is , giving the same acceptance probability. Here bounds the ratio of the unnormalized functions, so its value need not equal the envelope constant for the normalized probability density functions.
The squeeze changes the number of expensive target evaluations, while preserving the per-proposal acceptance probability. The expected number of proposals per accepted draw is .