TeX:
\sum_{n=-\infty}^{\infty} \operatorname{sinc}^{2}\!\left(n\right) = \piDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Sum | Sum | |
| Pow | Power | |
| Sinc | Sinc function | |
| Infinity | Positive infinity | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("1f9beb"),
Formula(Equal(Sum(Pow(Sinc(n), 2), For(n, Neg(Infinity), Infinity)), Pi)))