L1 Algèbre Logique, ensemble, raisonnement 1 question

exo7 7011

1

Montrer \(\forall n \in \N,\: \sum_{k=0}^n k^3=\frac{n^2(n+1)^2}{4}\).