Vamos
\begin{align*}
I_n &= \int_{0}^{\pi/2}\sin{(nx)}\cos^n{x}dx
\end{align*}
Una fórmula de reducción parece ser
\begin{align*}
I_n &= \frac{1}{2}\left(I_{n-1}+\frac{1}{n}\right) \\
I_0 &= 0
\end{align*}
La simplificación que se obtiene:
\begin{align*}
I_n &= \sum_{k=1}^n \frac{1}{2^k\left(n-k+1\right)}
\end{align*}
y la generación de la función de $I_n$ es
\begin{align*}
G(z) &= -\frac{\log{\left(1-z\right)}}{\left(2-z\right)}
\end{align*}
Ahora, tenemos que obtener el asymptotics para $[z^n]$
Actualización
Para el análisis asintótico, podemos utilizar el teorema VI.12, pp 434 en la analítica de la combinatoria, que establece:
Deje $a(z) = \sum_n a_n z^n$ $b(z) = \sum_n b_n z^n$ ser dos de alimentación de la serie con los radios de convergencia $\alpha > \beta \ge 0$, respectivamente. Suponga que
$b(z)$ satisface la prueba de razón,$$\frac{b_{n-1}}{b_n}\to \beta \; \; \text{ as } n\to\infty$$
A continuación, los coeficientes del producto $f(z) = a(z)\cdot b(z)$ satisfacer $$[z^n] f(z) \sim a\left(\beta\right)b_n\; \; \text{ as } n\to\infty$$ provided $un(\beta) \ne 0$
Por lo tanto, en nuestro gf, vamos
\begin{align*}
a(z) &= \sum_n \frac{1}{2^n}z^n \\
b(z) &= \sum_n \frac{1}{n} z^n \\
\implies [z^n]G(z) &\sim \frac{1}{2}\cdot a(1)\cdot \frac{1}{n} \;\;\text{since %#%#%} \\
[z^n]G(z) &\sim \frac{1}{n}
\end{align*}
Por lo tanto,
\begin{align*}
\lim_{n\to\infty} n \cdot I_n &= 1
\end{align*}