Talk:Varadhan's lemma