Dirichlet Integral/Proof 1

Proof
By Fubini's Theorem:


 * $\ds \int_0^\infty \paren {\int_0^\infty e^{- x y} \sin x \rd y} \rd x = \int_0^\infty \paren {\int_0^\infty e^{- x y} \sin x \rd x} \rd y$

Then:

and:

Hence: