2*x/ ___ \ lim cos \pi*\/ 2 *x!/ x->oo
Limit(cos((pi*sqrt(2))*factorial(x))^(2*x), x, oo, dir='-')
<-oo, oo>