Proof of the Convergence of the Alternating Harmonic Series

My construction of a proof for the convergence of the Alternating Harmonic Series to log(2). This proof was constructed using the Exercise 7.5.6 (pg. 237) from Stephen Abbot's Understanding Analysis.