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