proving some predicate over the naturals .
if the following statement holds for my base case, say
and i then assume it to hold for all ,
then i can also assume that holds for all .
i can hence take my inductive hypothesis as
but i already know that holds for all n.
this has got to be cheating right?
thanks for any pointers