TeX:
\zeta\!\left(2, 1\right) = \sum_{n=1}^{\infty} \frac{H_{n}}{{\left(n + 1\right)}^{2}} = \zeta\!\left(3\right)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
MultiZetaValue | Multiple zeta value (MZV) | |
Sum | Sum | |
Pow | Power | |
Infinity | Positive infinity | |
RiemannZeta | Riemann zeta function |
Source code for this entry:
Entry(ID("345c26"), Formula(Equal(MultiZetaValue(2, 1), Sum(Div(HarmonicNumber(n), Pow(Add(n, 1), 2)), For(n, 1, Infinity)), RiemannZeta(3))))