Proof techniques and principle of mathematical induction