ADD Si por casualidad no lo sabes:
-
Por una inyección de un conjunto $A$ a un conjunto $B$ se entiende una función $f:A\to B$ que es uno-uno, o inyectivo.
-
Por función monótona entendemos una función que "preserva" o "invierte" el orden siempre. Es decir, o bien $a\leq b$ implica $f(a)\leq f(b)$ (siempre) o $a\leq b$ implica $f(a)\geq f(b)$ siempre.
Tenga en cuenta que el mapa $$x\mapsto x^3$$ es una inyección de reales positivos a reales positivos, que preserva la monotonicidad. Si miramos su límite $$\lim_{t\to \infty}\frac{\log t}{t^{1/3}}=\ell$$
podemos argumentar que esto es lo mismo que dejar $t^3\to \infty$ para que $$\lim_{t\to \infty}\frac{\log t^3}{t}=\ell$$
o
podemos argumentar que esto es lo mismo que dejar $t^3\to \infty$ para que $$\lim_{t\to \infty}3\frac{\log t}{t}=\ell$$
Ahora, podemos inyectar $\Bbb R^+$ en $\Bbb R_{\geq 1}$ por $t\mapsto e^t$ y preservando la monotonicidad (es decir $t\to\infty \iff e^t \to \infty$ ) para que
$$\lim_{t\to \infty}3\frac{\log e^t}{e^t}=\ell$$
que da
$$\lim_{t\to \infty}\frac{3t}{e^t}=\ell$$
¿Puede demostrar que dado cualquier $\epsilon >0$ existe $M>0$ tal que para $t\geq M$ , $te^{-t}<\epsilon$ ?
De la definición del límite, $t^{-1/3}\log t \to 0$ como $t\to \infty $ significa que para cada $\epsilon >0$ existe $M>0$ tal que para $t\geq M$ tenemos $t^{-1/3}\log t <\epsilon$ . En particular, si $\epsilon =1$ está dado, existe un $M'$ tal que para $t\geq M$ - es decir, sobre $[M,\infty)$ - tenemos $$t^{-1/3}\log t <1$$ ¿que es lo mismo que...?