General Strategy

• Objective: prove that a procedure has property P for any non-negative argument n

• Base Case: Show that the procedure has property P for argument 0.

• Induction Hypothesis (IH): Assume that the procedure has property P for positive argument n=k.

• Inductive Step: Based on the IH, show that the procedure has property P for argument n=k+1.