exo7 4372

Soit \(\alpha\in{]0,\frac\pi2[}\) et \(\lambda\in\R\). Chercher un équivalent pour \(n\to\infty\) de \(I_n = \int_{x=0}^{\alpha}\sin(x)\exp(\lambda n\sin^2(x))\,d x\).