A summation formula stating that ∑ₙ₌₀ ᪲f(a+n)=∫ₐ ᪲f(x)dx+(f(a))/2+∫₀ ᪲(f(a-ix)-f(a+ix))/(i(e^(2πx)-1))dx.