The convergence speed of $ \int_0^{\frac{\pi}{2}} \sin ^n(x) \operatorname{d}x $? I have already known how to prove
\begin{equation*}
        \lim _{n \rightarrow \infty} \int_0^{\frac{\pi}{2}} \sin ^n(x) \operatorname{d}x = \sqrt{\frac{\pi}{2n}}
    \end{equation*}
with Wallis's formula
\begin{equation*}
 \quad \frac{\pi}{2}=\frac{2 \cdot 2 \cdot 4 \cdot 4 \cdot 6 \cdot 6 \cdot 8 \cdot 8 \cdots}{1 \cdot 3 \cdot 3 \cdot 5 \cdot 5 \cdot 7 \cdot 7 \cdot 9 \cdots} 
\end{equation*}
But the method I used was considered not to be universal.
How to prove that
\begin{equation*}
        \lim _{n \rightarrow \infty} \int_0^{\frac{\pi}{2}} \sin ^n(x) \operatorname{d}x = \frac{\sqrt{2 \pi}}{2} \cdot \frac{1}{n^{\frac{1}{2}}}-\frac{\sqrt{2 \pi}}{8} \cdot \frac{1}{n^{\frac{3}{2}}}+\frac{\sqrt{2 \pi}}{64} \cdot \frac{1}{n^{\frac{5}{2}}}
    \end{equation*}
And is
\begin{equation*}
         \lim _{n \rightarrow \infty} \int_0^{\frac{\pi}{2}} \sin ^n(x) \operatorname{d}x = \frac{\sqrt{2 \pi}}{2} \cdot \frac{1}{n^{\frac{1}{2}}}-\frac{\sqrt{2 \pi}}{8} \cdot \frac{1}{n^{\frac{3}{2}}}+ \dots +
         (-1)^{k}\cdot\frac{\sqrt{2 \pi}}{2^{\frac {k(k+1)}{2}}} \cdot \frac{1}{n^{\frac{2k+1}{2}}}
    \end{equation*}
true? Are there any more powerful tools, like numerical methods to calculate the integration?

You need to have an equivalent of the factorial, or equivalently, of the gamma function. A well known is the Stirling's approximation but you can go further as $$ {\displaystyle n!\sim {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{12n}}+{\frac {1}{288n^{2}}}-{\frac {139}{51840n^{3}}}-{\frac {571}{2488320n^{4}}}+\cdots \right).}$$ where the coefficients corresponds to the "Stirling series".
