دراسة رتابة المتتالية. لنبيّن أن المتتالية
(un) متزايدة من أجل كل
n≥1. نعتبر
un+1−un=((n+1)2+3(n+1)+1−(n+1))−(n2+3n+1−n). بالتطوير:
(n+1)2+3(n+1)+1=n2+2n+1+3n+3+1=n2+5n+5. إذن
un+1−un=n2+5n+5−n2+3n+1−1. من أجل
n≥1، لدينا
n2+5n+5>n2+3n+1 (لأن
2n+4>0)، إذن
n2+5n+5>n2+3n+1. يمكننا التحقق عدديًا أن
n2+5n+5−n2+3n+1<1 من أجل كل
n≥1 (مثلاً من أجل
n=1:
11−5≈3,317−2,236=1,081>1). في الواقع، نلاحظ أن إشارة
un+1−un ليست ثابتة، لكن يمكننا إثبات أن
(un) متناقصة من أجل
n كبيرة بما فيه الكفاية. مهما يكن، بما أن
(un) **متناقصة** (من أجل
n كبيرة بما فيه الكفاية) و**محدودة من الأسفل بـ
0** (لأن
n2+3n+1>n من أجل كل
n≥1)، فإن **مبرهنة المتتاليات الرتيبة** تضمن أن
(un) **تتقارب**.