Mais non, inutile.

On sait que la suite converge. La continuité (évidente) de la fonction suffit.