Let's say if we have and we want to show that (open ball of radius ) is convex. We know that (e.g. the norm).

We can still apply the triangle inequality right? So we have: .

In other words, does only apply to ? Or does it apply to general so that we can invoke the triangle inequality? We can use the triangle inequality to prove the general case (which is what I did) right?