Let $x_1, \ldots, x_N \in [0, \infty)$ each be a D993: Real number such that
(i) | $a \in \mathbb{R}$ is a D2455: Real geometric mean of $x_1, \ldots, x_N$ |
Then
\begin{equation}
a
= \left( \prod_{n = 1}^N x_n \right)^{1 / N}
\end{equation}