は、formula_5の"l"τノルムである(これはformula_6の値の本来のノルムではないのであるが)。