Ce n'est pas ce que dit l'énoncé que tu as donné au message #1. Tu as changé d'énoncé ?
j'en suis resté à
"Pour tout , on pose " et donc est un élément de , une suite de réels de somme des carrés convergente .
C'est ce que tu faisais au message #16.
Cordialement.
-----