{"id":"arxiv/2610.16844","url":"https://arxiv.org/abs/2610.16844","tags":["math.NT"],"score":0,"title":"The WZ pair and finite congruences","domain":"math.NT","source":"arxiv","authors":["Xiang Chen","Junyan Liu","Hengfei Lu"],"reviews":0,"subject":"math.NT","summary":"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 \\(ζ(3)\\). We also study the finite truncations of the logarithmic series. For every prime \\(p\\ge 5\\), we prove that the lower truncation is congruent to \\(q_p(2)-1\\) modulo \\(p\\), while the upper truncation is congruent to \\(-\\frac{7}{16}p^2B_{p-3}\\) modulo \\(p^3\\). The proofs combine the WZ method with…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}