Alternating Harmonic Series Sum Proof