TeX:
\limsup_{n \to \infty} \frac{\varphi\!\left(n + 1\right)}{\varphi(n)} = \infty
Definitions:
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)))