$$I = \lim_{\epsilon \rightarrow 0}\int_{0}^{\pi}e^{-\epsilon \sin(t)}e^{\epsilon i\cos(t)}dt$$
Cómo demostrar que la integral se aproxima $\pi$ a medida que epsilon se acerca a cero? He aplicado el lema de Jordan y he obtenido $\pi$ como límite superior, pero el límite inferior y el superior deben acercarse al mismo valor (teorema de la compresión).