Example: Factorial

We want a procedure that will take an arbitrary positive integer as an argument and compute its factorial:
    > (factorial 4)
    24

    > (factorial 52)
    80658175170943878571660636856403766975289505440883277824000000000000