高等数学mathematica哪个命令用来求解不等式