1 m ATUw

Ineachstep, A's output distribution is within ζ of the true distribution N(t,1;S). Consider a hypothetical sampling algorithm A0 in which A is run, and then the output is altered by rejection to match the true distribution.