Find limit of recursion: Difference between revisions

This assumes that all stack frames must be the same size, which is probably not the case:

Note also, that ^: can be used for induction, and does not have stack size limits, though it does require that the function involved is a mathematical function -- and this is not always the case (for example, Markov processes typically use non-functions).