# Fungrim entry: 28bf9a

$\gamma \notin \left\{ \frac{p}{q} : p \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, q \in \mathbb{Z}_{\ge 1} \,\mathbin{\operatorname{and}}\, q \le {10}^{242080} \right\}$
References:
• J. Havil (2003): Exploring Euler's Constant. Princeton University Press. Page 97.
TeX:
\gamma \notin \left\{ \frac{p}{q} : p \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, q \in \mathbb{Z}_{\ge 1} \,\mathbin{\operatorname{and}}\, q \le {10}^{242080} \right\}
Definitions:
Fungrim symbol Notation Short description
ConstGamma$\gamma$ The constant gamma (0.577...)
SetBuilder$\left\{ f\!\left(x\right) : P\!\left(x\right) \right\}$ Set comprehension
ZZ$\mathbb{Z}$ Integers
ZZGreaterEqual$\mathbb{Z}_{\ge n}$ Integers greater than or equal to n
Pow${a}^{b}$ Power
Source code for this entry:
Entry(ID("28bf9a"),
Formula(NotElement(ConstGamma, SetBuilder(Div(p, q), Tuple(p, q), And(Element(p, ZZ), Element(q, ZZGreaterEqual(1)), LessEqual(q, Pow(10, 242080)))))),
References("J. Havil (2003): Exploring Euler's Constant. Princeton University Press. Page 97."))

## Topics using this entry

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

2019-08-17 11:32:46.829430 UTC