Creo que era encontrar dos funciones tales que para toda X:
>una función menor o igual a la función a estudiar
>otra que sea mayor o igual
Y que tengan el mismo límite con X tendiendo al infinito.
Si existen esas 2 funciones significa que el límite al infinito de la función a estudiar existe y tiene de valor el mismo que el límite de las 2 funciones con las que se hizo la comparación.
No sé si era ese el teorema.