Deje n ∈Ny la: xn=ln2(n+1)−ln2n Demostrar que xn es un almacén de secuencia.
He tomado los siguientes pasos. Considere la posibilidad de xn xn=ln2(n+1)−ln2n==(ln(n+1)+lnn)(ln(n+1)−lnn)==lnn+1n⋅ln(n(n+1))==ln(1+1n)⋅ln(n(n+1))
Ahora se multiplica y se divide por n: xn=nnln(1+1n)⋅ln(n(n+1))==ln(1+1n)n⋅lnn√(n(n+1))
Ahora consideremos (1+1n)n. Hay un montón de pruebas de que es acotada. En mi caso he usado la expansión con los coeficientes binomiales para demostrar que :
2<(1+1n)n<3\implicaln2<ln(1+1n)n<ln3
Así que ahora queremos demostrar que lnn√(n(n+1)) está acotada. Empezar con la siguiente:
lnn√n(n+1)<lnn√(n+1)2
Considere la siguiente ecuación:
\begin{align} \sqrt[^n]{(n+1)^2} &= 1+a_n \iff \\ \iff (n+1)^2 &= (1+a_n)^n = \sum_{k=0}^{n}\binom{n}{k}a_n^k \end{align}
Ahora:
\sum_{k=0}^{n}\binom{n}{k}a_n^k \ge \frac{n(n+1)}{2}a_n^2 \implica \\ \implica (n+1)^2 \ge \frac{n(n+1)}{2}a_n^2 \implica \\ \implica a_n \le \sqrt{2 + {2\sobre n}}
Por lo a_k es claramente delimitado. Lo que significa:
\sqrt[^n]{(n+1)^2} < 1 + \sup\{a_n\} = 3
También se \sqrt[^n]{(n+1)^2} > 1. Así:
\ln1 < \ln \sqrt[^n]{(n(n+1))} < \ln3
Ahora, volviendo a la expresión inicial:
\ln1 \cdot \ln2 < \ln\left({1 + {1\over n}}\right)^n \cdot\ln \sqrt[^n]{(n(n+1))} < \ln3 \cdot \ln3
Significado x_n está acotada. He perdido de algo?