Sum of values of sinc
From specialfunctionswiki
Theorem: The following formula holds: $$\displaystyle\sum_{k=1}^{\infty} \mathrm{sinc}(k) = \dfrac{\pi-1}{2},$$ where $\mathrm{sinc}$ denotes the $\mathrm{sinc}$ function and $\pi$ denotes Pi.
Proof: █
