Fungrim home page

Fungrim entry: 7df1c4

G(x)>0G(x) > 0
Assumptions:x∈(0,∞)x \in \left(0, \infty\right)
TeX:
G(x) > 0

x \in \left(0, \infty\right)
Definitions:
Fungrim symbol Notation Short description
BarnesGG(z)G(z) Barnes G-function
OpenInterval(a,b)\left(a, b\right) Open interval
Infinity∞\infty Positive infinity
Source code for this entry:
Entry(ID("7df1c4"),
    Formula(Greater(BarnesG(x), 0)),
    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