折れ線の上界の存在は三角不等式より直ちに導けるぞ