Nella definizione di limite ci si può limitare a considerare solo gli intorni circolari di l, anziché esaminare tutti gli intorni.
La dimostrazione è la seguente:
Indichiamo con Cl un arbitario intorno circolare di l e supponiamo di avere provato che, . Consideriamo ora un arbitrario intorno Ul. Esiste sicuramente un intorno circolare Cl contenuto in Ul e allora, in base all'ipotesi, si può trovare un intorno Uc tale che . Ma se f(x) cade in Cl, a maggior ragione cade anche in Ul: questo basta per provare che .
Questa dimostrazione si può visualizzare graficamente con la successione di immagini proposta qui di seguito.
Immagine di partenza | Uno | Due | Tre | Quattro |