\int^\infty_0 e^{-u} \sin\left(\frac{100}{u}\right) du