Limit lemma

Summary