limit (1 + sec(3x))^(cot(x)) at pi/2