Definition:Superfactorial

Definition
Let $n \in \Z_{\ge 0}$ be a positive integer.

The superfactorial of $n$ is defined as:
 * $n\$ = \ds \prod_{k \mathop = 1}^n k! = 1! \times 2! \times \cdots \times \left({n - 1}\right)! \times n!$

where $k!$ denotes the factorial of $n$.

Also defined as
Some sources, for example, define the superfactorial as:
 * $n \$ = \underbrace{n!^{n!^{·^{·^{.^{n!}}}}} }_n$