编号	名称	标签	来源
00EA	含参二次不等式自然数解唯一性	唯一性问题集合论二次函数不等式	Liu One
303	无三连子集极值不等式	复数证明题不等式	HuR蛋白
427	三次方程有关的证明	证明题不等式	HuR蛋白
618	复向量乘积的黄金下界不等式	复数证明题不等式	HuR蛋白