A collection of proofs using the Coq Proof Assistant and induction on natural numbers.
Simply compile the proof with make.
The details of the proof on the divergence of the harmonic series is in this blog post.
A collection of proofs using the Coq Proof Assistant and induction on natural numbers.
Simply compile the proof with make.
The details of the proof on the divergence of the harmonic series is in this blog post.