Description: The norm of a normed group is a continuous function. (Contributed by Mario Carneiro, 4-Oct-2015)