Corretude - UFCG

Introdução Indução Algoritmos Recursivos Algoritmos IterativosExercício 6Considere o seguinte algoritmo recursivo para calcular a soma dosprimeiros n cubos: S(n) = 1 3 + 2 3 + . . . + n 3 .S(n)// Entrada: Um inteiro positivo n// Saida: A soma dos n primeiros cubos1 i = 22 s = 13 while i ≤ n4 s = s + i 35 i = i + 16 return sAche o invariante do laço e prove que é verdadeiro na inicialização,manutenção e terminação usando indução matemática.Prof. Dr. Leandro Balby Marinho 43 / 44 UFCG CEEI