展开 holder不等式的取等条件