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