Vamos a imponer que esté bien definido, es decir, que su imagen sea una función que tome valores en formula_6, es decir, que la norma de formula_7 sea menor que formula_8.