闵可夫斯基不等式积分形式证明