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