Vale il teorema:
logicamente vale anche
come esercizio dimostriamo il primo supponiamo che la successione a1 a2 a3 ...... an .... converga ad a > 0, cioe' limx→∞an = a con a > 0 allora, essendo a positivo, esiste, sulla retta reale, un intorno di a in cui tutti i punti hanno valore positivo Data la definizione di limite: limx→∞an = a ⇔ |an-a| < ε ⇒ n>kε considerando come ε la distanza da a ad uno di tali punti avremo che an cade in tale intorno e quindi an e' positivo come tutti i suoi termini successivi come volevamo |