Construct proofs using mathematical induction.Contexts include sums of series, divisibility and powers of matrices.