__________________ / / ___ ___\ lim \/ cos\\/ 2 *\/ x / x->oo
Limit(sqrt(cos(sqrt(2)*sqrt(x))), x, oo, dir='-')
<0, 1>