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

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

Then: