\lim_{n\rightarrow\infty}\int_0^\infty\frac{e^{1/x}\sin(ne^{-1/x})}{1+n^2}\,dx