Li-Fan Chen
says to
YSITD
fact 0 = 1 fact n = n * fact (n-1)