Intégrale somme

[inviteba31e312]

Salut j'ai besoin d'un petit coup de pouce pour une integrale!
n^1/2 * intgr (0 à pi/2) (sin t)^n |f(t) - f(pi/2)|dt !

Il faut montrer qu'elle tend vers 0 et on peut utiliser la somme de intgr(0 à pi/2 - h) + intgr (pi/2 - h à pi/2)!

merci de m'aider s'il vous plait!
-----

[inviteaf1870ed]

C'est qui f ?
Ca ressemble au théorème de Lebesgue, non ?

[inviteba31e312]

f:[0, pi/2] ->R+