Öncelikle
pn=a1.a2.…an diyelim. Soru bize şunu soruyor: "Eğer
0<|an|<1 olduğunu biliyorsak
limn→∞pn=0 diyebilir miyiz?"
Cevap hayır. Birkaç gözlem yapalım:
Öncelikle bütün an'lerin pozitif olduğu durumu inceleyelim.
Gözlem 1: Bu durumda her an terimi 1'den küçük olduğundan dolayı pn=pn−1.an<pn−1 olması gerektiğini görüyoruz. Yani pn dizisi monoton (strictly) azalan bir dizi. Aynı zamanda alttan sıfırla sınırlı, zira pozitif sayıların çarpımı hep pozitif olmak zorunda. O halde mutlaka sıfır ile bir arasında bir yere yakınsaması gerekir. Yakınsadığı yer sıfır olmak zorunda mı? Olmasın diye uğraşalım.
Gözlem 2: En kolay akla gelen azalan ve sıfıra yakınsayan dizi 1/n dizisi. Eğer ben bunu 1/2'ye yakınsayan bir dizi yapmak istiyorsam (1/2)+(1/n) dizisini düşünebilirim. O zaman pn dizisini (1/2)+(1/n) yapmaya çalışayım. Ufak bir sorun var, o da şu: Böyle yaparsam p1=a1=3/2 oluyor ve p2=a1.a2=3/2.1 oluyor. Yani ilk iki terim biraz kötü. O yüzden ben bu diziyi biraz kaydıracağım ve üçüncü terimden başlıyormuş gibi yapacağım: yani (1/2)+(1/n) dizisi yerine 12+1n+2 dizisini düşüneceğim. Amacım her seferinde an'yi öyle bir seçmek ki pn bu yukarıdaki diziye eşit olsun. Bunu başarabilir miyim?
Amaç: p1=a1=5/6 olmak üzere, n>1 için an terimini nasıl seçmeliyim ki 12+1n+2=pn=pn−1.an=(12+1n+1).an olsun. Ama bu basit:
an=12+1n+212+1n+1 olmalı. Burada gerekli işlemleri yapınca
an=n+42(n+2)n+32(n+1)=(n+1)(n+4)(n+3)(n+2) olması gerektiğini görüyoruz.
(an) dizimizi inşa ettik. Bunun gerçekten işe yaradığını nereden bileceğiz? Tümevarımla pn'nin istediğimiz 1/2 + 1/(n+2) dizisine eşit olduğunu gösterebiliriz.
Gözlem 3: Burada limitin 1/2'ye eşit olmasını istediğimiz için, öyle seçtik. 1/3 seçseydik başka bir dizi elde edebilirdik. Ayrıca işlemler kolay olsun diye 1/(n+2) ekledik. İsteseydik sıfıra yakınsayan ve limit olmasını istediğimiz değere ekleyince 1'den büyük çıkmayan herhangi başka bir dizi alabilirdik. Yani aslında sayılamayacak sonsuzlukta örnek yazmak mümkün.
Gözlem 4: Yukarıda bütün an'lerin pozitif olduğunu düşünelim demiştim. Şimdi bulduğumuz örnekte çift terimlerin pozitif, tek terimlerin negatif olduğunu düşün. Bu durumda pn dizisi bir −1/2'nin soluna , bir 1/2'nin sağına sıçrayacak sayı doğrusu üzerinde. Yani pn dizisinin limiti olmayacak.