The Pochhammer symbol is defined, for any real number $a$ and any natural integer $n$, by
$$[a]_n = \begin{cases} 1 & \text{if } n = 0 \\ a(a+1)\cdots(a+n-1) = \prod_{k=0}^{n-1}(a+k) & \text{otherwise} \end{cases}$$
Let $a \in \mathbb{R}$. Verify that, for any natural integer $n$, $[a]_{n+1} = a[a+1]_n$.