lim
n→∞
Φ(n) = ℓ’ heißt: Es ist hierfür gibt einen Beweis beweisbar algebraisch für beliebiges δ eine Funktion g(δ), so daß
❘Φ(n) ‒ ℓ❘ ˂ δ, wenn
für jedes n ≧ g(δ)