A beautiful identity involving Euler's totient function
The identity
We have $$\sum_{d \mid n}\phi(d) = n,$$ first observed by Gauss (?).
We have $$\sum_{d \mid n}\phi(d) = n,$$ first observed by Gauss (?).