lim_(x->+0) (1/2)^(sin(x))