这个不等式的推导.| x-a |