Handbook of mathematical induction : theory and applications - Gunderson, David S. (Discrete mathematics and its applications, 2011)