Dicho funcional viene dado por: