[programming] BrenBarn says, "I found an admirable proof that recursion always can be transformed into iteration, but the call stack is too narrow to contain it"