Suponemos conocido que cada número real formula_5 tiene una expansión decimal.