# inverse factorial(n) is inverse n!; # factorial(0,x_):=factorial(x); # factorial(1,x_):=factorial(x)*psi(x+1); # factorial(x_-1):=gamma(x); inversefactorial(1):= 1;