x to inf (1 + 9/x)^(x/2)