Fungrim entry: 19b40f

x \in \left(0, \infty\right) \;\implies\; \log G(x) \in \mathbb{R}

TeX:

x \in \left(0, \infty\right) \;\implies\; \log G(x) \in \mathbb{R}

Definitions:

Fungrim symbol	Notation	Short description
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity
`LogBarnesG`	$\log G(z)$	Logarithmic Barnes G-function
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("19b40f"),
    Formula(Implies(Element(x, OpenInterval(0, Infinity)), Element(LogBarnesG(x), RR))),
    Variables(x))

Topics using this entry

2021-03-15 19:12:00.328586 UTC