ثم سيطر عليه بمقدار بسيط: من أجل n≥2، 2n2−3≥n2، ومنه فالخطأ هو ≤2n25≤2n5. ومن أجل ε>0، تعطي خاصية أرخميدسN≥max(2,2ε5)؛ ومن أجل n≥N يكون الخطأ ≤ε. وانتهى. والفكرة النافذة: لبرهان ε–N ثلاث حركات بالضبط — احسب الخطأ، وحُدّه بمقدار أوليّ متناقص، وحلّ من أجل العتبة — وبعد مبرهنات هذا الفصل (العمليات والحصر) لا يكاد المرء يكتب مثل هذا البرهان مرة أخرى: إذ تعلّب المبرهنات الحركات الثلاث مرة واحدة وإلى الأبد.
مثال 11.3(التباعد إلى اللانهاية، مصادَقًا عليه)
الادعاء: un=n2−100n→+∞. عمّل الحد المهيمن: un=n2(1−n100)≥2n2 من أجل n≥200. ومن أجل M معطى، خذ N=max(200,⌈2M⌉): فمن أجل n≥N، un≥2n2≥M. وعادتان معروضتان هنا: تعميل الحد المهيمن يحوّل تنافسًا (n2 ضد −100n) إلى سلّم وحيد مضروب في عامل يؤول إلى 1؛ وقد تكون العتبة هائلة (u100=0، بل المتتالية سالبة قبل n=100) — فالتباعد إلى +∞ عبارة عن الذيل، لا تبالي بأيّ قدر منته من سوء السلوك.
مثال 11.6(العمليات مع حيلة جبرية واحدة)
احسب lim(n2+n−n). يؤول الجزآن كلٌّ على حدة إلى +∞: ولا تقول مبرهنة العمليات شيئًا عن فرقهما (وهو شكل غير محدَّد). اضرب في المرافق:
n2+n−n=n2+n+n(n2+n)−n2=n2+n+nn=1+n1+11.
والآن يتقارب كل شيء: 1+n1→1، لأن 0≤1+h−1=1+h+1h≤h (بالمرافق مرة أخرى، ثم بالحصر مع h=n1)؛ وعندئذ تعطي مبرهنة العمليات النهاية 1+11=21. والفكرة النافذة: ليست مبرهنة العمليات حاسبةً لكل النهايات — فالأشكال غير المحدَّدة (∞−∞ و 00 و 0×∞ و 1∞) يجب أولًا أن تُحوَّل بالجبر (المرافقات، وتعميل الحد المهيمن) حتى يتقارب كل جزء؛ والآلة المنهجية للحالات العنيدة هي النشر المقارب في الفصل 16.