Log Deriv Residue
logDerivResidue'
Plain-language statement
Suppose is holomorphic and nonzero on a punctured neighborhood of , and there with . Then the logarithmic derivative has principal part : as . In particular, the residue of at this simple pole is .
Source project: Prime Number Theorem and More
Person-level attribution pending.