or 
This exact result can be obtained from the general BAR method, using (for example) the Metropolis function, in the limit . Indeed, in that case, the denominator of the general case expression above tends to 1, while the numerator tends to .
A direct derivation from the definitions is more straightforward, though.