lim(tgx)^(1/(x-pi/2)) as x to pi/2