证明p范数满足三角不等式