<p>tanonev, that is not a valid point. Every term is included, with it's correct sign. You have, nonetheless, made an interesting observation of one of the riddles of infinity. It is indeed possible to partion all natural numbers into disjoint subsets, each with one odd and infinitely many even numbers, even though in some sense, there is an "equal number" of odd and even natural numbers.</p>
<p>As for why that grouping is not valid... that's going to keep me up at night. The issue lies in the fact that an infinite summation is not in fact a summation but a limit of partial summations, and you need to rigorously prove that any sort of re-ordering of terms converges to the same "sum," and apparently in this case it does not. It sure feels like it should, though. I suspect the reason is related to what tanonev observed. Even if every terms is "present," the even terms are in some sense counted "sooner" than the odd terms, thus every partial sum, and thus the limit thereof, is scewed down.</p>
<p>The best answer I can come up with is this: an infinite sum is a limit of partial sums. The sum, as towerpumpkin writes is, is not in this form, it is in the form of a limit of partial sums of a bunch of limits of partial sums, and one cannot automatically equate this to a different limit simply based on intuition. As far as I know, grouping terms in FINITE subsets is kosher. I'm fairly sure I can prove that with a little thinking. If anyone finds such a dissection that leads to a similar absurdity, let me know.</p>
<p>Thanks for posting that, towerpumpkin. If I ever teach a real analysis course, I will be sure to use that as an example of what one must always rigorously prove things that seem plausible; they may well be staggeringly false.</p>
<p>This is sort of similar to another interesting contradiction: consider the function f(x)=0 for x <= 0, f(x)=e^(-1/x) for x>0. It is fairly easy to see that the Taylor series centered at 0 converges to 0 for all x, so one might suggest e^(-1/x)=0 for all x>0, which is absurd. The problem is that while the series may converge, the Remainder term does not approach 0, which is the true criterion for Taylor series representations.</p>