So the interesting ingredient is generally the inductive step so remember what you do is here is you assume you've already proven the assertion that, in this case the T of N is at most AN for all smaller integers, and now you just merely have to prove it again for the current integer. 