查看原题
证明 $\lim _{n \rightarrow \infty}(R) \int_0^1 \frac{n x \sin {2007} n x}{1+n^2 x^2} e^{-\frac{\sin n x}{n}} d x=0$
                        
不再提醒