بين بالتراجع أنه من أجل كل عدد طبيعي
من أجل
ليكن
بما أن فرض
بين أن المتتالية
ليكن
و منه :
بما أن :
ينتج أن
و منه
الاستنتاج : بما أن
بما أن
فإن :
و عليه :
نعتبر المتتالية العددية
- بين أنه من أجل كل عدد طبيعي ، لدينا:
لدينا
و بما أن
- نضع : ، بين أن
لدينا
من جهة أخرى :
و عليه
و بما أن
- . استنتج
لدينا :
و عليه :