Prove limit shifting lemma