Luego, según este formalismo, la tarea es mostrar que la sucesión de números racionales