strong induction
updated notes on strong ind
added in a question along the lines of coin exchange
one more proof by weak induction