Sinon tu dis que somme des k^3 de k=1 à n c'est égal à ( n * (n+1) / 2 )^2 soit n²(n+1)²/4 = n²(n²+2n+1)/4=(n^4+2n^3+n²)/4
Tu veux que
Pour n =/= 0 (pour n=0, c'est trivial)
(n^4+2n^3+n²)/4 <= n^4
<=> (n^4+2n^3+n²) <= 4n^4
==> n^2 + 2n + 1 <= 4n^2
<=> 3n^2 - 2n - 1 => 0
Discriminant = (-2)² - 4*3*(-1) = 16
n = (2 +- 4)/6
n1 = 1 n2 =-1/3
Comme n appartient à IN, alors à partir de n=1, ton inégalité est vraie et pour n=0, c'est trivial donc pour tout n appartenant à IN, ta propriété est vraie.
Mais c'est plus simple de procéder par récurrence.