MaSeMang-Skp不等式