TeX:
\int_{0}^{\infty} \left(\theta_{3}\!\left(0 , i t\right) - 1\right) \, dt = \frac{\pi}{3}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Integral | Integral | |
| JacobiTheta | Jacobi theta function | |
| ConstI | Imaginary unit | |
| Infinity | Positive infinity | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("799742"),
Formula(Equal(Integral(Parentheses(Sub(JacobiTheta(3, 0, Mul(ConstI, t)), 1)), For(t, 0, Infinity)), Div(Pi, 3))))