Faire une intégration par parties en posant u(t)=G(t) et v'(t)=sin(nt)
u est dérivable et de dérivée continue par hypothèse, ce qui justifie
pleinement cette intégration.
Int(G(t)sin(nt),t,a,b)=[-G(t)cos(nt)/n]{a,b}+Int(G'(t)*cos(nt)/n,t,a,b]
On pose M=sup(G(t),t,a,b) existe car G est continue sur l'intervalle
compact [a,b]
On pose M'=sup(G'(t),t,a,b) existe car G' est continue
sur [a,b] et pour la même raison.
Le premier terme est majoré en valeur absolue par 2M/n (majorer grossièrement
le cos(nt) par 1) et le deuxième par M'(b-a)/n
Ces deux termes tendent vers 0 quand n tend vers l'infini et le
tour est joué !
Voila !