Los conjuntos sucesivos formula_30 son acotados superiormente por lo que hemos visto en la demostración anterior.