Ramanujan-inspired series for $1/π$ involving harmonic numbers (2305.00498v4)

Abstract: By applying the derivative operator to the known identities from hypergeometric series or WZ pairs, we obtain seven series associated with harmonic numbers. Specifically, six of them are Ramanujan-like formulas for $1/\pi$ and the remaining onecontains harmonic numbers of order $2$. As conclusions, Sun's five conjectural series are proved.