TeX:
\limsup_{n \to \infty} \frac{\varphi\!\left(n + 1\right)}{\varphi(n)} = \inftyDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| SequenceLimitSuperior | Limit superior of sequence | |
| Totient | Euler totient function | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("feb1a0"),
Formula(Equal(SequenceLimitSuperior(Div(Totient(Add(n, 1)), Totient(n)), For(n, Infinity)), Infinity)))