对于给定的正定函数，其中属于实数，可以得到沿时间导数为，其中不定号，但随时间趋于无穷大而趋于0。

我们知道如果沿时间导数为，则在时间趋于无穷大时，也趋于0，也就是趋于0。

请问，对于，如何从严格的数学理论上证明：在时间趋于无穷大时，也趋于0，也就是趋于0？

感谢各位大神的解答！