Esta definición es muy parecida a la definición del cuando tiende a formula_3.