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