>>391
三角不等式