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...)
`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, Set(Div(p, q), For(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

Euler's constant