Fungrim home page

Fungrim entry: cd7877

\limsup_{n \to \infty} \frac{\varphi(n)}{n} = 1

TeX:

\limsup_{n \to \infty} \frac{\varphi(n)}{n} = 1

Definitions:

Fungrim symbol	Notation	Short description
`SequenceLimitSuperior`	$\limsup_{n \to a} f(n)$	Limit superior of sequence
`Totient`	$\varphi(n)$	Euler totient function
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("cd7877"),
    Formula(Equal(SequenceLimitSuperior(Div(Totient(n), n), For(n, Infinity)), 1)))

Topics using this entry

Totient function

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