Dirichlet Integral/Proof 2

Proof
Define:
 * $\displaystyle \map I \alpha = \int_0^\infty \frac {e^{-\alpha x} \sin x} x \rd x$

Using Definite Integral of Partial Derivative:

Integrating with respect to $\alpha$:

To determine $C$, take $\alpha \to \infty$:

Hence:


 * $\displaystyle \int_0^\infty \frac {e^{-\alpha x} \sin x} x \rd x = \frac \pi 2 - \arctan \alpha$

Setting $\alpha = 0$ yields:


 * $\displaystyle \int_0^\infty \frac {\sin x} x \rd x = \frac \pi 2$