格朗沃尔不等式推广