lim (1+cos(x))^tan(x) x to pi/2+