Pregunta: int A[n]; int suma(int n){ int i,s=0; for (i=0;i

int $A[n];$ int suma(int $n)\{$ int $i,s=0;$ for $(i=0;i<n;i++)\{$ s $+=A[i];$ \} return $s;$ - Determine el "loop invariant" del código. - Demuestre usando el "loop invariant" que la función suma devuelve la suma de los elementos del arreglo $A[0,1,\dots ,n-1]$ :