The geometric mean of a sequence of non-negative real numbers ( x k ) k = 0 n {\displaystyle \left( x_k\right)_{k=0}^{n}} is defined as the principal nth root of their product.