My guess is that A(m, n) is the Ackermann function. Do you have the same definition as in Wikipedia? Just follow the regular procedure for proofs by induction: identify the property P(n) you are proving for all n, prove the base case P(0), state the induction hypothesis and the goal for the induction step, etc. For more on the generic procedure, see this post.