formula_4 puede también ser formula_9, haciendo la función no decreciente (no creciente) para todo formula_10.