1. יהי $M>0 $. מהגדרת הגבול של $y_n$ ידוע ש- $ \exists_{n_1}\forall_{n>n_1}: a-1<y_n<a+1 $ ומהגדרת השאיפה לאינסוף של $ x_n $ אנחנו יודעים ש- $ \exists_{n_2}\forall_{n>n_2}: x_n>M-a+1 $ ולכן אם נגדיר $n_0=\max\{n_1,n_2\} $ אז יתקיים ש- $ \forall_{n>n_0}: x_n+y_n>(M-a+1)+(a-1)=M $.
2. נוכיח עבור $a$ חיובי, עבור $a$ שלילי ההוכחה דומה מאוד והדבר היחיד כמעט שמשתנה זה סימני אי השיוויון: יהי $ M>0 $. מהגדרת הגבול של $y_n$ ידוע ש- $ \exists_{n_1}\forall_{n>n_1}: \frac{a}{2}<y_n<\frac{3a}{2} $ ומהגדרת השאיפה לאינסוף של $ x_n $ אנחנו יודעים ש- $ \exists_{n_2}\forall_{n>n_2}: x_n>\frac{2}{a}M $ ולכן אם נגדיר $n_0=\max\{n_1,n_2\} $ אז יתקיים ש- $ \forall_{n>n_0}: x_n\cdot y_n>\frac{2}{a}M\cdot \frac{a}{2}=M $.
<tex>קוד:זנב</tex>
</latex2pdf>