It is defined as $(\prod_{i=1}^n x_i)^{1/n}$

It is always less than or equal to the arithmetic mean

It is only defined for non-negative numbers

It is equal to the arithmetic mean if all $x_i$ are equal