Fungrim home page

Fungrim entry: b77faf

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

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC