====== Mathematical induction ======
Some smartness about mathematical induction