Что это за формула (есть название?) и как она примерно доказывается? Вроде имеет какое-то отношение к Абелю.
$$\lim_{T \rightarrow \infty} \frac{1}{T} \int_{-T}^{0} f(t) \,dt = \lim_{\varepsilon \rightarrow +0} \varepsilon \int_{- \infty}^{0} f(t) e^{\varepsilon t} \,dt$$
png:
http://img411.imageshack.us/img411/8408/f575a954a7bbbb02917aa35cd4.png
