Writing a Procedure for this Iterative Process

There are two values changing here (A and B), not just one as in factorial (n).

So the process isn't exactly factorial.

Bue we are always computing the product of A and B!, so call the procedure factorial-product:

  (define factorial-product
   (lambda (a b)  ; compute a × b!
    (if ________ ; When does the process stop?
        ________
        ________ )))