P_{n+1} = \prod_{k=1}^{k \leq n+1}k = P_n\cdot a_{n+1}