Más precisamente, sea formula_42 una sucesión (estándar) convergente hacia "l" eventualmente infinito.