幂平均不等式

#TODO#