https://prinsli.com/examples-mathematical-induction-proofs-for-summation-identities/