OUI bien sûr ........
on veut montrer que U(n)---> +inf implique U non majorée
on a par définition
pour tout entier n, il existe un entier N et un réel A>0 tel que : n>N implique U(n)>A
donc cela contredit le fait qu'il existe un réel M tel que U(n)<=M
donc U n'est pas majorée
