Si |z_n| ne tend pas vers +00, alors la suite (z_n) contient une sous suite (z_f(n)) bornée
==> d'après Bolzano Weierstrass (z_f(n)) contient une sous suite (z_f(g(n))) convergente
==> (z_f(g(n))) est de Cauchy ce qui est absurde avec |z_f(g(p))-z_f(g(q))|>=1 pour p#q