A simple alternative to the Barbalat lemma | Synapse