To find the base case of a sequence

To transform a recursive definition into a closed-form formula

To prove the sequence is convergent

To estimate the memory complexity of recursion