A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Először is megállapítjuk, hogy az függvény minden -re és minden -re értelmezve van, hiszen a nevezőkben illetve ennek valamely hatványa áll, és ez soha nem nulla. Másik észrevételünk az, hogy az (1) mértani sor hányadosa nem , azaz | | (2) | Ehhez csak azt kell belátnunk, hogy , ez viszont | | (3) | miatt igaz. Mivel az (1) mértani sor hányadosa nem , azért lehet rá alkalmazni a mértani sor összegképletét: | | (4) |
a) Ha , akkor tetszőleges -re, következésképpen a (3) szerint. Így és tetszőleges értéke mellett . b) Ha , akkor az értékétől függetlenül, és ez is . c) Végül ha , akkor hiszen , és így . Emiatt tetszőleges -re amiből (4) szerint következik. (5) miatt itt a számláló kisebb, mint , és (3) miatt mellett a nevező nem kisebb -nál, így amint azt bizonyítanunk kellett. |