Recursive definitions must be well-founded. What does this mean?
The recursion must eventually reach a base case.
The result must always be a positive integer.
The sequence must be strictly increasing.
The formula must be linear.