Definite Integral from 0 to Half Pi of Even Power of Sine x/Proof 1

Proof
Let $I_n = \displaystyle \int_0^{\frac \pi 2} \sin^n x \rd x$.

Then: