Date: May 6, 2013 1:23 PM
Author: Nicolas Manoogian
Subject: Recursive Functions Proof Trouble

I'm having some difficulty with a proof, would anyone mind telling me where I'm going wrong?

I've attached the PDF and the TeX.