İlk önce her yerde geçtiği haliyle Sıkıştırma Teoremini "diziler" için kanıtlayalım -fonksiyonlar kısmıyla henüz işimiz yok ama bir delta bulunarak o da kanıtlanabilir- şimdi kanıta geçelim.
Sıkıştırma Teoremi: Eğer an≤bn≤cn dizileri ∀n>n0 için lim sağlanıyorsa, o zaman kaçınılmaz olarak, \lim _{n\rightarrow \infty }b_{n}=L Olur.
Kanıtı ise:
Şimdi her ikisi için epsilon tanımlarını yazalım. \lim _{n\rightarrow \infty }a_{n}=L\Leftrightarrow \forall\varepsilon>0, \exists N_{1}(\varepsilon), \forall n>N_{1} : |a_{n}-L|<\varepsilon ve aynı şekilde,
\lim _{n\rightarrow \infty }c_{n}=L\Leftrightarrow \forall\varepsilon>0, \exists N_{2}(\varepsilon), \forall n>N_{2} : |c_{n}-L|<\varepsilon. Olur.
O halde N'yi seçelim, N=max{[n_{0}, N_{1}, N_{2}}] olsun. O halde \forall n>N için L-\varepsilon<a_{n}\leq b_{n}\leq c_{n}<L+\varepsilon Çok açık bir şekilde de görüleceği üzere, L-\varepsilon<b_{n}<L+\varepsilon'dir. Ve buradan da |b_{n}-L|< \varepsilon olur bu da istediğimiz sonucu verir yani: \lim _{n\rightarrow \infty }b_{n}=L.
Sayın okuyucu, ...\geq4^n\geq3^n\geq2^n\geq1 olduğunu kolayca görebilir. Şimdi buradaki kilit nokta 2^nyi 2^n=(1+1)^n olarak görebilmekte. Bu sayede varacağımız sonuç şudur -binom açılımı ile-(1)
2^n=\begin{pmatrix}n \\0\end{pmatrix}+\begin{pmatrix}n \\1\end{pmatrix}+\begin{pmatrix}n \\2\end{pmatrix}+\begin{pmatrix}n \\3\end{pmatrix}+.... Peki bunu nasıl kullanabiliriz? Öncelikle kolay bir örnek vermeme izin verin:
Örnek(1):
a_{n}=\dfrac{n^2}{2^n} dizisinin limiti nedir?(Okuyucu çözüme geçmeden kendisi yukarıda bahsettiğim şekilde soruyu çözebilir.)
Çözüm:
Yukarıdan bu diziyi sıkıştırabileceğimiz bir terim seçelim bu terim \begin{pmatrix}n \\3\end{pmatrix} olmalı -birazdan sebebi görülecek- ve açıkça: 2^n\geq \begin{pmatrix}n \\3\end{pmatrix} doğrudur. Çünkü toplamın içinden seçilen herhangi bir eleman "bir zaman sonra" 2^nden küçük olacaktır. Şimdi eğer bu eşitsizliği açarsak: 2^n\geq \dfrac{n(n-1)(n-2)}{6} elde edilir. Şimdi bunun en başlarda bahsettiğim eşitsizlikle de mutlaka ilişkili olması gerektiğini görebiliriz(1).
Eğer eşitsizliği ters çevirirsek: \dfrac{1}{2^n}\leq \dfrac{6}{n(n-1)(n-2)} olur. O halde her tarafa n^2 eklemek bizi suçlu durumuna düşürmeyecektir. \dfrac{n^2}{2^n}\leq \dfrac{6n^2}{n(n-1)(n-2)}, herhalde görülüyordur ki eşitsizliğin birinci kısmı 0'dan büyük, o halde:
0\leq \dfrac{n^2}{2^n}\leq \dfrac{6n^2}{n(n-1)(n-2)} olur. Şu haliyle görüldüğü şekilde ortadaki terim bizim a_{n} dizimizin aynısı! Her tarafın limitini aldığımızda, en sağ ve en solun 0 olacağını ve "Sıkıştırma Teoreminden" a_{n} dizisinin limitinin de 0 olması gerektiğini görürüz. Şimdi daha cüretli davranalım:
Örnek(2):
a_{n}=\dfrac{n^2}{3^n} dizisinin limiti nedir?
Şimdi bildiğimiz üzere: 3^n\geq 2^n idi. Yani basitçe aynı eşitlsizliği yazabiliriz. Ondan önce de şu basit eşitsizliği yazacağız:
\dfrac{1}{3^n}\leq \dfrac{1}{2^n} ve tabii; 0\leq \dfrac{n^2}{3^n}\leq \dfrac{n^2}{2^n}
0\leq \dfrac{n^2}{3^n}\leq \dfrac{n^2}{2^n}\leq \dfrac{6n^2}{n(n-1)(n-2)} Haliyle limitin 0 olmaktan başka çaresi yoktur.