Fungrim home page

Fungrim entry: 1bbbc7

arg min*⁡x∈(0,∞)Γ ⁣(x)∈[1.46163214496836234126265954233±4.28⋅10−30]\mathop{\operatorname{arg\,min*}}\limits_{x \in \left(0, \infty\right)} \Gamma\!\left(x\right) \in \left[1.46163214496836234126265954233 \pm 4.28 \cdot 10^{-30}\right]
TeX:
\mathop{\operatorname{arg\,min*}}\limits_{x \in \left(0, \infty\right)} \Gamma\!\left(x\right) \in \left[1.46163214496836234126265954233 \pm 4.28 \cdot 10^{-30}\right]
Definitions:
Fungrim symbol Notation Short description
ArgMinUniquearg min*⁡P(x)f ⁣(x)\mathop{\operatorname{arg\,min*}}\limits_{P\left(x\right)} f\!\left(x\right) Unique location of minimum value
GammaFunctionΓ ⁣(z)\Gamma\!\left(z\right) Gamma function
OpenInterval(a,b)\left(a, b\right) Open interval
Infinity∞\infty Positive infinity
Source code for this entry:
Entry(ID("1bbbc7"),
    Formula(Element(ArgMinUnique(GammaFunction(x), x, Element(x, OpenInterval(0, Infinity))), RealBall(Decimal("1.46163214496836234126265954233"), Decimal("4.28e-30")))))

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