$\lim_{n\to\infty}\int_0^1 f(x,\sin nt)dt=\frac{1}{2\pi}\int_0^{2\pi}f(x,\sin y)d y$ for continuous $f$

35 Views Asked by At

$$\lim_{n\to\infty}\int_0^1 f(x,\sin nt)dt=\frac{1}{2\pi}\int_0^{2\pi}f(x,\sin y)d y$$ for continuous $f$?

It sounds like Riemann's lemma. But I am unable to do it.