Definite Integral from 0 to Half Pi of Odd Power of Cosine x/Proof 2