[gd395467031]

比较大小只能是数值，字母没有办法。你可以根据你的约束得到两个式子的范围，比较它们的上下区间。