The WZ pair and finite congruences
We construct a meromorphic Wilf--Zeilberger pair for the hypergeometric series for \(3\ln 2\), completing the WZ proof left open by Guillera and Rogers. The same pair yields a one-parameter identity and, after a half-integer shift and differentiation, an inverse-binomial series for \(\zeta(3)\). We also study the finit...