Zudilin's strengthened integrality conjecture for Apéry-type sequences
For n≥0n\ge 0n≥0, let un{\bf u}_nun and vn{\bf v}_nvn be the sequences defined by the Apéry-type hypergeometric series Sn,4,2,1,1(1)=unζ(4)−vn{\bf S}_{n,4,2,1,1}(1)={\bf u}_n\zeta(4)-{\bf v}_nSn,4,2,1,1(1)=unζ(4)−vn. Define … where…