a_{i,n} = a_{i-1,n}^i - i