lim h = 0 by Def1;
then A1: lim (h ^\ n) = 0 by CFCONT_1:43;
h ^\ n is convergent by CFCONT_1:43;
hence h ^\ n is convergent_to_0 by A1, Def1; :: thesis: verum