Show that $$\left|\int_{1}^{\sqrt{3}}\frac{e^{-x}\sin{x}}{x^2+1}dx\right|\leq \frac{\pi}{12e}$$
I tried it by first doing: $$\left|\int_{1}^{\sqrt{3}}\frac{e^{-x}\sin{x}}{x^2+1}dx\right|\leq \int_{1}^{\sqrt{3}}\left|\frac{e^{-x}\sin{x}}{x^2+1}\right|dx\leq \int_{1}^{\sqrt{3}}\left|\frac{e^{-x}}{x^2}\right|dx$$ But this bound is bigger than the one required.
Then I tried bounding it by using an upper Darboux sum, but it gets too messy and finding the right partition is a challenge.