Como podemos elegir formula_18 tan grande como queramos, concluimos que formula_19 para todo formula_20 en formula_21.