Independently draw and . Accept if ; otherwise discard it and repeat with fresh independent draws. Return the first accepted value. The bound makes the acceptance probability at each proposal at most one. As , the total acceptance probability is , so the procedure terminates almost surely. Values outside the proposal support must have target density zero for the stated envelope assumption to make sense.
For one trial and any measurable set ,
Since the acceptance probability is , conditioning gives target probability . Repeating failed independent trials does not alter this conditional law: summing over the trial number multiplies by the geometric sum . Taking proves

Articles by others on the same topic (0)

There are currently no matching articles.