limx→+∞(π/2-arctanx)^1/x