TeX:
\int_{0}^{1} {x}^{-x} \, dx = \sum_{n=1}^{\infty} {n}^{-n}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Integral | Integral | |
| Pow | Power | |
| Sum | Sum | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("b77faf"),
Formula(Equal(Integral(Pow(x, Neg(x)), For(x, 0, 1)), Sum(Pow(n, Neg(n)), For(n, 1, Infinity)))))