incremento: valor_final); el bucle se ejecuta por primera vez con i=n, y luego i se va reduciendo de