使用三角不等式

Question

是否有可能让Maxima使用三角不等式来评估不等式？

例如，对于像

这样的简单不等式，可以得到真实

is( abs(x-1) + 1 >= abs(x) );

我在STACK中使用Maxima。有一些全局禁止命令（请参阅https://github.com/maths/moodle-qtype_stack/blob/master/stack/cas/casstring.class.php#L92 ）。