TeX:
z \in \{0, -1, \ldots\} \;\implies\; \log G(z) \in \left\{-\infty\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ZZLessEqual | Integers less than or equal to n | |
| LogBarnesG | Logarithmic Barnes G-function | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("62bdb8"),
Formula(Implies(Element(z, ZZLessEqual(0)), Element(LogBarnesG(z), Set(Neg(Infinity))))),
Variables(z))