moi je propose ceci
on considere que ca appartient a N on a donc
n²+1>=n^3-n
n²(1-n)>=-n-1
comme n>2 on a donc
n²<=-(n+1)/1-n n²<=n+1/n-1
or nous on sait que(grace a ce qui va venir)
(recurrence )
est ce que qqsoit n >=2 on a n²>=n+1/n-1 cad
(n+1)²>=n+2/n?
n^3+2n²+n-n-2 comme n >2 donc ceci est positif
donc
n >=2 on a n²>=n+1/n-1
donc on a une contradiction donc...