User:Dnessett/Sandboxes/First Sandbox

Paul,
I had family responsibilities yesterday, so I only read your talk comments this morning. I see you have made some changes to the style of the proof, e.g., converted some factorial expressions to the binomial coefficient, moved the Kroneker delta around and moved some factorials out of parentheses. That's fine. These sorts of things are a matter of taste and I have no problem with your choices.
Good catch on the fraction in front of the integral for the recursion relation. However, I think the problem with the negative sign doesn't exist.
First,
and
So,
In other words, the powers of -1 multiply so the exponent on (-1) is a power of 2.
But, there isn't really a problem anyway. Applying:
to:
yields:
That is, there is no negative sign in front of the integral.
However, the equation immediately prior to the final result changes because of the new fractional component and I am in the process of checking that.