For $\ts{a_k}$ a sequence in $\RR$, define $$ A(t) := \sum_{0\leq k \leq t} a_k $$ For $\phi\in C^1(\RR)$ continuously differentiable, $$ \sum_{x 1$ and $\lim_{x\to\infty}$ to yield $$ \zeta(s)=s \int_{1}^{\infty} \frac{\lfloor u\rfloor}{u^{1+s}} \du $$ Use this to derive [Dirichlet's theorem.md): $\zeta(s)$ has a simple pole at $s=1$ with $\Res_{s=1} \zeta(s](Dirichlet's theorem.md): $/zeta(s)$ has a simple pole at $s=1$ with $/Res_{s=1} /zeta(s) = 1$. This works for other [Dirichlet series](Dirichlet series.md).