Fungrim home page

Fungrim entry: 86fcf1

#{n:nZ1andφ(n)<neγlog ⁣(log(n))}\# \left\{ n : n \in \mathbb{Z}_{\ge 1} \,\mathbin{\operatorname{and}}\, \varphi(n) < \frac{n}{{e}^{\gamma} \log\!\left(\log(n)\right)} \right\}
\# \left\{ n : n \in \mathbb{Z}_{\ge 1} \,\mathbin{\operatorname{and}}\, \varphi(n) < \frac{n}{{e}^{\gamma} \log\!\left(\log(n)\right)} \right\}

\# \mathbb{Z}
Fungrim symbol Notation Short description
Cardinality#S\# S Set cardinality
ZZGreaterEqualZn\mathbb{Z}_{\ge n} Integers greater than or equal to n
Totientφ(n)\varphi(n) Euler totient function
Expez{e}^{z} Exponential function
ConstGammaγ\gamma The constant gamma (0.577...)
Loglog(z)\log(z) Natural logarithm
ZZZ\mathbb{Z} Integers
Source code for this entry:
    Formula(Equal(Cardinality(Set(n, ForElement(n, ZZGreaterEqual(1)), Less(Totient(n), Div(n, Mul(Exp(ConstGamma), Log(Log(n)))))))), Cardinality(ZZ)))

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