>>12437950yes, indeed. Again, where is the limit there? Look at the definition of a limit in
>>12436021and tell me where this ever comes up in the proof I will now give that this infinite sum is just equal to zero. I'll be as rigorous and as formal just to annoy you because you seem to be triggered by that. Here we go
Proposition:
Proof: We will induct on n.
Base case: n = 0
We have
which holds trivially.
Inductive hypothesis:
Suppose the proposition holds for some , that is
Now consider the case for
by the identity property of zero in the naturals. Therefore we can conclude that
holds for all by induction, and thus
QED