Un ejemplo clásico es la función factorial, que puede definirse sin recursión final como: