Cho khoảng K, x0 thuộc K và hàm số y = f(x) xác định trên K \ { x0}

Vì  

nên với dãy số (xn) bất kì, xn∈K\ x0 và xn → x0 ta luôn có 

Từ định nghĩa suy ra f(xn) có thể lớn hơn một số dương bất kì, kể từ một số hạng nào đó trở đi.

Nếu số dương này là 1 thì f(xn ) > 1 kể từ một số hạng nàođó trởđi.

Nói cách khác, luôn tồn tạiít nhất một số xk∈K\ x0 sao cho f(xk) > 1.