刘保乾一个三角不等式加强的证明

注：⇓ 是睡仙专用符号，表示“只需证”。