Je pense que t'as du mal à voir pourquoi parce que tu n'as pas de définition claire de la limite d'une suite d'ensembles.
Une définition usuelle c'est de dire que que Cn converge vers C ssi C = lim sup Cn = lim inf Cn, et c'est pas dur de vérifier que dans notre cas la lim sup et la lim inf valent toutes les deux l'union des Cn (par croissance, l'intersection des Cm pour m>=n vaut Cn, et l'union des Cm pour m >=n vaut l'union des Cm en entier)
Message édité le 11 septembre 2022 à 16:11:16 par protokj