Fungrim home page

Fungrim entry: 24d810

ψ ⁣(x)<log⁡(x)\psi\!\left(x\right) < \log(x)
Assumptions:x∈(0,∞)x \in \left(0, \infty\right)
TeX:
\psi\!\left(x\right) < \log(x)

x \in \left(0, \infty\right)
Definitions:
Fungrim symbol Notation Short description
DigammaFunctionψ ⁣(z)\psi\!\left(z\right) Digamma function
Loglog⁡(z)\log(z) Natural logarithm
OpenInterval(a,b)\left(a, b\right) Open interval
Infinity∞\infty Positive infinity
Source code for this entry:
Entry(ID("24d810"),
    Formula(Less(DigammaFunction(x), Log(x))),
    Variables(x),
    Assumptions(Element(x, OpenInterval(0, Infinity))))

Topics using this entry

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

2021-03-15 19:12:00.328586 UTC