展开 闵可夫斯基不等式证明定积分