TeX:
\int_{0}^{\infty} \left(\theta_{4}^{2}\!\left(0, i t\right) - 1\right) \, dt = -\log(2)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Integral | Integral | |
| Pow | Power | |
| JacobiTheta | Jacobi theta function | |
| ConstI | Imaginary unit | |
| Infinity | Positive infinity | |
| Log | Natural logarithm |
Source code for this entry:
Entry(ID("4f3d2b"),
Formula(Equal(Integral(Parentheses(Sub(Pow(JacobiTheta(4, 0, Mul(ConstI, t)), 2), 1)), For(t, 0, Infinity)), Neg(Log(2)))))