Is this double limit for logarithms true?

Mathematica knows that: $$\gamma = \lim_{n\to \infty } \, \lim_{s\to 0} \, \left(\int \frac{(s+1)^{-\exp (n)-1}+s-1}{s} \, ds+\frac{(s+1)^{-n-1}+s-1}{s}\right)$$

Where $\gamma$ is Euler Gamma ($\gamma=0.57721566\dots$)

The question is if this limit is true:

$$\log (x)=\lim_{n\to \infty } \, \lim_{s\to x} \, \left(-\left(\frac{(s+1)^{-n-1}+s-1}{s}+\int \frac{(s+1)^{-e^n-1}+s-1}{s} \, ds\right)+\frac{s-1}{s}+s\right)$$

Mathematica:

Clear[n, x, s]
x = N[3];
Limit[Limit[(s + (s - 1)/
s) - (Integrate[((s + 1)^(-Exp[n] - 1) + s - 1)/s,
s] + ((s + 1)^(-n - 1) + s - 1)/s ), s -> x], n -> 1000]

• Is there any integration limits ?. – Felix Marin Aug 2 '14 at 19:40
• No there are no integration limits but Mathematica knows that it becomes hyper geometric series which simplified is a PolyGamma expression. – Mats Granvik Aug 3 '14 at 8:00