proof by mathematical induction problems