Let denote the Euler function. Evaluate the limit:
where if is true and if is false.
We are invoking the exclusion – inclusion principal to evaluate the second sum. Thus:
and thus we conclude that
The latter sum is known to converge to and thus the original limit is equal to