Factorials and Induction