factorial calculus