- Thread starter
- Moderator
- #1

- Jun 20, 2014

- 1,896

-----

Prove

$$\lim_{n\to \infty} \int_0^{\pi/(2n)} \frac{\sin 2nx}{\sin x}\, dx = \int_0^\pi \frac{\sin x}{x}\, dx.$$

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!