ln⁡Γ⁡(z)=(z-12)⁢ln⁡z-z+12⁢ln⁡(2⁢π)+2⁢∫0∞arctan⁡(t/z)ⅇ2⁢π⁢t-1⁢ⅆ⁡t,