1: \begin{abstract}

2: 	It is not hard to prove that a uniformly continuous real function, whose integral up to infinity exists, vanishes at infinity, and it is  probably little known that 	this statement runs under the name \textquotedblleft{}Barb\u{a}lat's Lemma.\textquotedblright{} In fact, the latter name is frequently used in control theory, where the lemma is used to obtain Lyapunov-like stability theorems for non-linear and non-autonomous systems. Barb\u{a}lat's Lemma is \emph{qualitative} in the sense that it asserts that a function has certain properties, here convergence to zero. Such qualitative statements can typically be proved by \emph{``soft analysis''}, such as indirect proofs. Indeed, in the original 1959 paper by Barb\u{a}lat, the lemma was proved by contradiction and this proof prevails in the control theory textbooks. In this short note we first give a direct, \emph{``hard analyis''} proof of the lemma, yielding \emph{quantitative} results, i.e.{} \emph{rates} of convergence to zero. This proof allows also for immediate generalizations. Finally, we unify three different versions which recently appeared and discuss their relation to the original lemma.

3: \end{abstract}

4: