lim (tgx)^(x-pi/2) for x-> pi/2