Trigamma function

Summary

The trigamma function $\psi_1$ is the derivative of the digamma function, the second derivative of $\log \Gamma$. It is the polygamma function of order $1$ and equals $\sum_{k \ge 0} (z+k)^{-2}$. It is positive on the positive real axis, which expresses the log-convexity of the gamma function.