Cho hai hàm số y = f(x) và y = g(x) cùng xác định trên khoảng (−vô cùng;a)
Giải thích
Giả sử (xn) là dãy số bất kì thoả mãn n < a và xn → −∞
Vì 
nên 
Vì 
nên 
Do đó, 
Từ định nghĩa suy ra 
Giả sử (xn) là dãy số bất kì thoả mãn n < a và xn → −∞
Vì nên
Vì nên
Do đó,
Từ định nghĩa suy ra