TAG 二次不等式