/cos(x)*log(x)\ lim |-------------| x->oo\ -1 + x /
Limit((cos(x)*log(x))/(-1 + x), x, oo, dir='-')
0