T(b) = subfactorial(b), T(n) = n T(n-1)