# 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;