Prueba: Para ver que formula_27 es acotado superiormente, procedemos como sigue: Reiterando el proceso usado en la demostración anterior, construimos los conjuntos formula_30 del modo siguiente: