Hola.
La clave es usar que si bien ϵϵ no puede ser cero, es arbitrariamente chico, ya que la definición indica que para cualquier constante ϵ>0ϵ>0 ....
La clave es usar que si bien ϵϵ no puede ser cero, es arbitrariamente chico, ya que la definición indica que para cualquier constante ϵ>0ϵ>0 ....
Usando la definición de límite, en particular aplicada a T(n)/f(n), llegás al resultado.
Vale la pena observar que el resultado de esta parte es una definición equivalente de o chica (que es de hecho la que hemos usado en otras oportunidades, como por ejemplo el ejercicio resuelto en clase en 2020). Efectivamente, si T(n)/f(n) tiende a cero entonces, para cualquier
positivo que nos demos, se cumple que
es menor que
para n suficientemente grande.
![\epsilon \epsilon](https://eva.fing.edu.uy/filter/tex/pix.php/92e4da341fe8f4cd46192f21b6ff3aa7.png)
![T(n) T(n)](https://eva.fing.edu.uy/filter/tex/pix.php/514884be093e9ab7909b0d394e7b74d2.png)
![\epsilon f(n) \epsilon f(n)](https://eva.fing.edu.uy/filter/tex/pix.php/892a7ca70ab675e707b1e8886f71a753.png)
Saludos,
Álvaro
Álvaro