Factorial (Recursion)

Computes n! by recursion, showing the call stack winding up to the base case and unwinding with results.