Una buona idea, quando si ha a che fare con funzioni che odorano fortemente di ricorsività come questa o altre che potrebbero seguirla, è spesso ricordare come, se $"{a"_"n" "}"_("n" in NN)$ è una successione t.c. $EE"lim"_("n" to oo)frac{ "a"_"n+1"}{"a"_"n" } "=l" in(0,1)$, allora è essa stessa infinitesima.
Saluti dal web.