>>757
実数の時の三角不等式は知ってる?
っていうか、何を既知としていいんだい?