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