# Geometric mean

of positive numbers $a_1,\ldots,a_n$
The number equal to the real positive $n$-th root of their product, i.e. to
$$(a_1\ldots a_n)^{1/n}.$$