בתנאים הנ"ל, אם מתקיים גם ש-<math>L\ne0</math> אז <math>\int\limits_a^\infty g</math> מתכנס אם"ם <math>\int\limits_a^\infty f</math> מתכנס.
====הוכחה====
לפי משפט 5 אם <math>\int\limits_a^\infty g</math> מתכנס אז <math>\int\limits_a^\infty f</math>מתכנס. נותר להוכיח את הכיוון השני. מכיוון ש-<math>L>0</math> מתקיים <math>\lim_{x\to\infty}\frac{g(x)}{f(x)}=\frac1L\in\mathbb R</math> ולכן, שוב לפי משפט 5, אפשר להסיק ש-<math>\int\limits_a^\infty g</math> מתכנס אם <math>\int\limits_a^\infty f</math> מתכנס. {{משל}}
===דוגמאות===