La conjugada convexa de una función es siempre semicontinua inferiormente.