שינויים

מצד שני, אם f מקיימת את תנאי קושי, אז קיים <math>b>a</math> כך שלכל <math>x_2\ge x_1>b</math> מתקיים <math>|f(x_2)-f(x_1)|<1</math>. נקבע <math>x_1=b+1</math> ונובע שלכל <math>x_2>b+1</math> מתקיים <math>|f(x_2)-f(b+1)|<1</math>. לכן אם <math>x_2>b+1</math> אז <math>|f(x_2)|-|f(b+1)|\le\Big||f(x_2)|-|f(b+1)|\Big|\le|f(x_2)-f(b+1)|<1</math> ומכאן ש-<math>|f(x_2)|<|f(b+1)|+1</math>. לכן f חסומה בקטע <math>[b+1,\infty)</math> ולכן <math>\{f(b+1),\ f(b+2),\ f(b+3),\ \dots\}</math> סדרה חסומה. יש לה תת סדרה מתכנסת <math>\{f(b+n_k)\}_{k\in\mathbb N}</math> כך ש-<math>\lim_{k\to\infty} f(b+n_k)</math> קיים ונאמר שהוא <math>L\in\mathbb R</math>. טענה: <math>\lim_{x\to\infty} f(x)</math> קיים ושווה ל-L. הוכחה: <math>\lim_{k\to\infty} f(b+n_k)=L</math> ולכן עבור <math>\varepsilon>0</math> נתון קיים <math>k_0\in\mathbb N</math> כך שאם <math>k\ge k_0</math> אז <math>|f(b+n_k)-L|<\frac\varepsilon2</math>. כמו כן, עפ"י תנאי קושי יש מספר <math>c>a</math> כך שאם <math>x_2>x_1>c</math> אז <math>|f(x_2)-f(x_1)|<\frac\varepsilon2</math>. עתה נגדיר <math>d:=\max\{b+n_{k_0},c\}</math> ולכן <math>|f(x)-L|\le|f(x)-f(d)|+|f(d)-L|<\frac\varepsilon2+\frac\varepsilon2=\varepsilon</math>. {{משל}}