A case study for $\zeta(4)$

Abstract

Using symbolic summation tools in the setting of difference rings, we prove a two-parametric identity that relates rational approximations to $\zeta(4)$.