A function that sums all the divisors of a number, used by Euler to prove the Euclid-Euler theorem.
Veritasium