İ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 limn→∞an=limn→∞cn=L sağlanıyorsa, o zaman kaçınılmaz olarak, limn→∞bn=L Olur.
Kanıtı ise:
Şimdi her ikisi için epsilon tanımlarını yazalım. limn→∞an=L⇔∀ε>0,∃N1(ε), ∀n>N1:|an−L|<ε ve aynı şekilde,
limn→∞cn=L⇔∀ε>0,∃N2(ε), ∀n>N2:|cn−L|<ε. Olur.
O halde N'yi seçelim, N=max[n0,N1,N2] olsun. O halde ∀n>N için L−ε<an≤bn≤cn<L+ε Çok açık bir şekilde de görüleceği üzere, L−ε<bn<L+ε'dir. Ve buradan da |bn−L|<ε olur bu da istediğimiz sonucu verir yani: limn→∞bn=L.
Sayın okuyucu, ...≥4n≥3n≥2n≥1 olduğunu kolayca görebilir. Şimdi buradaki kilit nokta 2nyi 2n=(1+1)n olarak görebilmekte. Bu sayede varacağımız sonuç şudur -binom açılımı ile-(1)
2n=(n0)+(n1)+(n2)+(n3)+.... Peki bunu nasıl kullanabiliriz? Öncelikle kolay bir örnek vermeme izin verin:
Örnek(1):
an=n22n 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 (n3) olmalı -birazdan sebebi görülecek- ve açıkça: 2n≥(n3) doğrudur. Çünkü toplamın içinden seçilen herhangi bir eleman "bir zaman sonra" 2nden küçük olacaktır. Şimdi eğer bu eşitsizliği açarsak: 2n≥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: 12n≤6n(n−1)(n−2) olur. O halde her tarafa n2 eklemek bizi suçlu durumuna düşürmeyecektir. n22n≤6n2n(n−1)(n−2), herhalde görülüyordur ki eşitsizliğin birinci kısmı 0'dan büyük, o halde:
0≤n22n≤6n2n(n−1)(n−2) olur. Şu haliyle görüldüğü şekilde ortadaki terim bizim an dizimizin aynısı! Her tarafın limitini aldığımızda, en sağ ve en solun 0 olacağını ve "Sıkıştırma Teoreminden" an dizisinin limitinin de 0 olması gerektiğini görürüz. Şimdi daha cüretli davranalım:
Örnek(2):
an=n23n dizisinin limiti nedir?
Şimdi bildiğimiz üzere: 3n≥2n idi. Yani basitçe aynı eşitlsizliği yazabiliriz. Ondan önce de şu basit eşitsizliği yazacağız:
13n≤12n ve tabii; 0≤n23n≤n22n
0≤n23n≤n22n≤6n2n(n−1)(n−2) Haliyle limitin 0 olmaktan başka çaresi yoktur.