Sums of norm spheres are norm shells and lower triangle inequalities are   sharp
  The statements in the title are explained and proved, as a little exercise in elementary normed vector space theory at the level of Chapter 5 of Dieudonn\'e's "Foundations of Mathematical Analysis". A connection to recent moment bounds for submartingales is sketched. 
Lutz Mattner