A simple alternative to the Barbalat lemma