4This fact is referred to as ELogNorm in the handout MathFactsList, in the references as
Carroll (Current); further citation to facts in that handout will be referenced simply by the name used in
the handout for the fact in question, e.g. LogELogNorm is the name of the fact that implies that
.