Sans rigueur aucune, voici en vrac ce à quoi je pense :
si on met le (1/n) en puissance dans le ln, et qu'on soustrait partout ln(s), il faut en fait montrer que :
lim ln(racine énième(Un)/s)=0
c'est a dire que lim racine énième(Un)/s =1
ce qui revient à montrer que racine énième de (Un/(s^n)) est 1
Ce qui est le cas si Un/(s^n) tend vers 1
Sachant que r<s
sachant que Un=s^n+r^n
on a un/(s^n)=1+(r/s)^n, ce qui tend vers 1
Bonne soirée