What gets smaller on each recursive call?

A recursive function needs a base case and progress toward it. Name a measure that decreases on every call, such as the number of unprocessed elements. If a branch can leave that measure unchanged, check whether it can recurse forever.