Let $n\in\mathbb{N}$, and let $a_1,\dots,a_n\in\mathbb{R}$. The finite product

is defined recursively as follows.

For every natural number $n\ge 2$, one sets