The recursive step always increases the problem size.

The recursive step eventually leads to a base case.

It uses a for-loop instead of a while-loop.

It has an explicit formula readily available.