> (* 4 3 2 1) 24
> (* 52 51 50 ... 2 1) reference to undefined identifier: ...
> (factorial 4) 24 > (factorial 52) 80658175170943878571660636856403766975289505440883277824000000000000