Constraint(s)
Proof
Symbols List
& : logical and
: Riemann zeta function : http://dlmf.nist.gov/25.2#E1
: sum : http://drmf.wmflabs.org/wiki/Definition:sum
: binomial coefficient : http://dlmf.nist.gov/1.2#E1 http://dlmf.nist.gov/26.3#SS1.p1
: Bernoulli polynomial : http://dlmf.nist.gov/24.2#i
: integral : http://dlmf.nist.gov/1.4#iv
: periodic Bernoulli functions : http://dlmf.nist.gov/24.2#iii
: differential : http://dlmf.nist.gov/1.4#iv
: real part : http://dlmf.nist.gov/1.9#E2
Bibliography
Equation (9), Section 25.2 of DLMF.
URL links
We ask users to provide relevant URL links in this space.