exo7 1273

1

Soit \(f :[0,1]\rightarrow { \Rr}\) une fonction de classe \(C ^1 .\) Montrer que \(\displaystyle{\lim _{n\rightarrow \infty } \int _0 ^1 \hbox{cos}(nt)f(t)dt=0 } .\)