> (factorial 4) 24 > (factorial 52) 80658175170943878571660636856403766975289505440883277824000000000000