TeX:
\int_{0}^{\infty} \left(\theta_{4}\!\left(0 , i t\right) - 1\right) \, dt = -\frac{\pi}{6}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("f89d5a"),
Formula(Equal(Integral(Parentheses(Sub(JacobiTheta(4, 0, Mul(ConstI, t)), 1)), For(t, 0, Infinity)), Neg(Div(Pi, 6)))))