Oui, mais tu peux facilement adapter cette preuve pour prendre en compte les limites +/- l'infini
L'idée est la même, par exemple :
si elle tend vers l réel elle sera aussi proche de l que tu veux à partir d'un certain rang (disons dans [s-eps,s+eps] or si la suite tend aussi vers +inf elle sera plus grande que s+eps à partir d'un certain rang, d'où la contradiction en prenant le max des deux rangs