$n$を正整数$\{a_n\}_{n=1,2,\cdots}$を正の実数とした時$\displaystyle \frac{1}{n}(a_1+a_2+\cdots+a_n)\leqq (a_1\cdot a_2 \cdot \cdots \cdot a_n)^{\frac{1}{n}}$