Key points are not available for this paper at this time.
A simple proof, consisting of three lemmas, is given for the acceptance-rejection method in Monte Carlo sampling from a density f. The proof is valid for random variables in general dimension, for bounded as well as for unbounded support, and it is not affected by discontinuities or infinite peaks of f.
Bernard D. Flury (Sat,) studied this question.