mathematical induction exercise