Varadhan's lemma

Varadhan's lemma is a fundamental result in probability theory, particularly in the field of large deviations. It provides a way to evaluate the asymptotic behavior of certain probabilities as a parameter goes to infinity, often in the context of sequences of random variables or stochastic processes.