Barbalat’s lemma