The Möbius inversion formula allows us to recover a function from its summation function. A fair amount of machinery needs to be built (or in our video, assumed) to prove the inversion formula, but the result is well worth it. For example, it can be applied to derive an explicit formula for the Euler totient function.