展开 证明格朗沃尔不等式设k为非负常数