Discrete weighted geometric average inequality

• 离散形式的加权几何平均不等式