è già fatta.
il teorema dice che
$lim_(x->x_0)f(x)=l
se e solo se per ogni successione a valori in $X\\{x_0}$ convergente ad $x_0
si ha $lim_(n->+oo)f(a_n)=l
io allora prendo la successione $pin$ che diverge a più infinito (ipotesi del teorema soddisfatta)
e $lim_(n->+oo)sinnpi=0
presa un'altra qualunque successione, ad esempio $b_n:={pi/2+2npi}_(n in NN)
$lim_(n->+oo)sin(b_n)=1
entrambe le successioni divergono ad x_0 ma esiste una successione tale che il limite della composta è diverso dal limite della composta di un'altra successione
e il teorema dice che quando ciò accade il limite in questione non esiste
ma sia chiaro, non me lo sono inventato io. sta scritto sul libro