mcp-solver

Consider this simple program that computes the sum of cubes from 1 to n: ``` result = 0 i = 1 while i <= n: result = result + (i * i * i) i = i + 1 ``` Using mathematical induction, prove that for any n, the result equals [n²(n+1)²/4] Show the algebraic steps in your proof.