שינויים
\underlinebegin{משפט:thm} יהיו הטורים $\sum_{n=1}^\infty a_n , \sum_{n=1}^\infty b_n $ ונניח ש- $\forall n : a_n,b_n\geq 0 $ אזי
יהיו הטורים $\sum_{n=1. }^\infty a_n , \sum_{n=1}^\infty b_n $ ונניח ש- $\forall n : a_n,b_n\geq 0 $ אזי\begin{enumerate}\item אם $a_n=O(b_n),n\to\infty $ אז $\sum_{n=1}^\infty b_n<\infty \Rightarrow \sum_{n=1}^\infty a_n<\infty $
\underlineend{הוכחה:thm} קודם כל נשים לב שאם 1 מתקיים ו- $a_n=O^* (b_n) $ אז גם $b_n=O^* (a_n) $ וזה אומר שגם $a_n=O(b_n) $ וגם $b_n=O(a_n) $. אם נשתמש עכשיו במשפט 1, משפט 2 מגיע ישירות. כעת נוכיח את 1:
\begin{remark}מההגדרות של סימני לנדאו מתקיים ש-$$a_n=O^*(b_n) \Leftrightarrow b_n=O^*(a_n) $$ומכל אחד מהם נובע ש-$$a_n=O(b_n) , b_n=O(a_n) $$מכאן שאם משפט 1 נכון ו- $a_n=O^* (b_n) $ אז משפט 2 מתקבל ישירות\exists_end{n_0remark} \forall_begin{proof} $$\exists n_0 \forall n>n_0} : a_n\leq M\cdot b_n $ $וגם $\sum_{n=1}^\infty b_n $ מתכנס ולכן $$\sum_{n=n_0}^\infty a_n\leq \sum_{n=n_0}^\infty M\cdot b_n = M\cdot\sum_{n=n_0}^\infty b_n $ $והטור האחרון מתכנס, ומזה מסיקים ש- $\sum_{n=n_0}^\infty a_n $ חסום מלעיל ולכן מתכנס. כעת רק נשאר לראות ש- $\sum_{n=1}^\infty a_n = \sum_{n=1}^{n_0-1} a_n + \sum_{n=n_0}^\infty a_n $ וזה כידוע, מתכנס. $\\$end{proof} \underlinebegin{מסקנה: משפט cor}[מבחן ההשוואה הגבולי בצורתו המוכרת}יותר]
יהיו הטורים $\sum_{n=1}^\infty a_n , \sum_{n=1}^\infty b_n $ ונניח ש- $\forall n : a_n,b_n\geq 0 $ וגם הגבול $\lim_{n\to\infty}\frac{a_n}{b_n}=L $ קיים. אזי
\begin{enumerate}
\item אם $L=0 $ אז $\sum_{n=1}^\infty b_n <\infty \Rightarrow \sum_{n=1}^\infty a_n <\infty $
\underlinebegin{הוכחהproof}\begin{enumerate}\item אם $L=0 $ אז$$\exists n_0 \forall n>n_0 :\frac{a_n}{b_n}<1 $$ ומכאן ש- $a_n=O(b_n) , n\to \infty $. כל מה שנשאר זה להשתמש במשפט הקודם וסיימנו.