Writing a Procedure for Actual Iterative Factorial

factorial-product requires the argument a.

Q: Since it computes a × b!, what special case allows us to compute b!?

A: