(It can be shown that this functional satis es all of the properties required for a
norm, as our notation suggests.)