TeX:
\liminf_{n \to \infty} \frac{\varphi(n) \log\!\left(\log(n)\right)}{n} = {e}^{-\gamma}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| SequenceLimitInferior | Limit inferior of sequence | |
| Totient | Euler totient function | |
| Log | Natural logarithm | |
| Infinity | Positive infinity | |
| Exp | Exponential function | |
| ConstGamma | The constant gamma (0.577...) |
Source code for this entry:
Entry(ID("acfc1f"),
Formula(Equal(SequenceLimitInferior(Div(Mul(Totient(n), Log(Log(n))), n), For(n, Infinity)), Exp(Neg(ConstGamma)))))