Como esto es cierto para funciones arbitrarias {formula_53\ displaystyle f}, debemos tener: