∑j=anf⁡(j)=∫anf⁡(x)⁢ⅆ⁡x+12⁢f⁡(a)+12⁢f⁡(n)-2⁢∫0∞ℑ⁡(f⁡(a+ⅈ⁢y))ⅇ2⁢π⁢y-1⁢ⅆ⁡y+∑s=1mB2⁢s(2⁢s)!⁢f(2⁢s-1)⁡(n)+2⁢(-1)m(2⁢m)!⁢∫0∞ℑ⁡(f(2⁢m)⁡(n+ⅈ⁢ϑn⁢y))⁢y2⁢m⁢ⅆ⁡yⅇ2⁢π⁢y-1,