lim(x→+∞) (2/π arctan X)^X