(1,0 ponto)
(a) Demonstre o Teorema do Confronto: Sejam \left(a_{n}\right),\left(b_{n}\right) e \left(c_{n}\right) sequências reais tais que a_{n} \leq b_{n} \leq c_{n}, para todo n \geq n_{0}, para algum n_{0} \in \mathbb{N}. Se
A pergunta é: provar que \lim_{n\to\infty} b_{n}=L.
(b) Usar o Teorema do Confronto para mostrar que
\lim_{n\to\infty}\frac{\cos(n)}{n}=0.
Passo 2
Vou lembrar com clareza a definição de limite de sequência que vou usar (essa é a ferramenta principal do teorema).
Definição (forma \varepsilon-N). Dizemos que \lim_{n\to\infty} x_n = X se, para todo \varepsilon>0, existe um N\in\mathbb{N} tal que, para todo n\ge N,
|x_n - X| < \varepsilon.
Interpretando: dado qualquer erro tolerável \varepsilon, a partir de algum índice N todas as parcelas x_n ficam dentro do intervalo aberto (X-\varepsilon,X+\varepsilon).
Passo 3
Prova do Teorema do Confronto (parte (a)), começando pelo argumento \varepsilon-N.
Seja um \varepsilon>0 arbitrário. Como \lim_{n\to\infty} a_n = L, pela definição existe N_1\in\mathbb{N} tal que, para todo n\ge N_1,
|a_n - L| < \varepsilon.
Isso implica, para n\ge N_1,
L-\varepsilon < a_n < L+\varepsilon.
De modo análogo, como \lim_{n\to\infty} c_n = L, existe N_2\in\mathbb{N} tal que, para todo n\ge N_2,
|c_n - L| < \varepsilon,
ou seja
L-\varepsilon < c_n < L+\varepsilon.
Passo 4
Agora use a hipótese das desigualdades a_n\le b_n\le c_n, válida para todo n\ge n_0.
Defina
N := \max\{n_0,\;N_1,\;N_2\}.
Então, para todo n\ge N temos simultaneamente:
n\ge n_0, logo a_n\le b_n\le c_n;
n\ge N_1, logo L-\varepsilon < a_n < L+\varepsilon;
n\ge N_2, logo L-\varepsilon < c_n < L+\varepsilon.
Combinando essas desigualdades, para n\ge N obtemos
Mostro que as sequências \left(-\dfrac{1}{n}\right) e \left(\dfrac{1}{n}\right) convergem para 0.
Seja \varepsilon>0. Escolha N\in\mathbb{N} tal que N>\dfrac{1}{\varepsilon} (por exemplo N=\left\lceil\dfrac{1}{\varepsilon}\right\rceil). Então, para todo n\ge N,
0<\dfrac{1}{n}\le\dfrac{1}{N}<\varepsilon.
Logo \left|\dfrac{1}{n}-0\right|<\varepsilon e portanto \lim_{n\to\infty}\dfrac{1}{n}=0. Do mesmo modo \lim_{n\to\infty}-\dfrac{1}{n}=0.
Passo 8
Agora aplicamos o Teorema do Confronto (parte a) às três sequências