لتكن f معرَّفة على فترة [a,+∞) وليكن ℓ∈R. نقول إن f تؤول إلى ℓ عند +∞، ونكتب x→+∞limf(x)=ℓ، إذا كانت كل فترة مفتوحة تحوي ℓ تحوي كل القيم f(x) من أجل x كبير بما يكفي: أي إنه من أجل كل ε>0 يوجد A بحيث يكون من أجل كل x≥A، ∣f(x)−ℓ∣≤ε.
ونقول إن f تؤول إلى +∞ عند +∞ إذا وُجد، من أجل كل M∈R، عدد A بحيث يكون f(x)≥M من أجل كل x≥A. وتُعرَّف النهايات عند −∞ والنهايات المساوية −∞ بصورة نظيرة.