lim [(tgx)^(1/(x - pi/2))]