Calcolo limite di sen(x)sen(1/x) per x -->0

[Gianni Trattore]

Buonasera, il titolo del posto non e' totalmente appropriato perche' e' solo collegato all'esercizio descritto.
Il mio problema sta solo nel capire un passaggio nell'esercizio svolto ad un esercitazione di analisi 1 che ha la suddetta consegna.
Nel corso dello svolgimento vengono posti
$abs(senx)<=1$ , $abs(sen1/x)<=1$ , e $abs(senx)>=0$
di conseguenza so che $0<=abs(senxsen1/x)$ ,
ma viene aggiunto anche $0<=abs(senxsen1/x)<=senx$.
non capisco perche' venga aggiunta questa ultima condizione.

[Bokonon]

@gabriella
Per la verità è solo un errore dovuto al copia e incolla. Il limite è da intendersi per $f(x)->0$
Il tranello non era nell'errato copy&paste.
Grazie per averlo segnalato!

[gabriella127]

Ah ecco!