Mathematical Induction Proof with Recursively Defined Function