factorial[n_Integer] := n*factorial[n-1]
factorial[0] = 1