of more than two numbers as a formula of s
It is a common elementary number theory exercise to prove that .
A student might ask what is the of three numbers. Some might think that It isn't.
Still, one might want a formula for the of three numbers. Of course one can say . In fact this is the common algorithm for computation. Are they ways to relate and without nesting those functions together?
Yes, but the formula is not so pretty.
This article shows how we can prove this result, and easily infer a more general theorem. First, we see there is a group isomorphism from the naturals to it's prime factors , , where is the th prime.
It's easy to show where and are defined coordinate-wise. In fact we only need to concern with one single coordinate. So the problem become proving , then the formula for of 3 numbers holds.
This look familiar to the inclusion-exclusion principle, and certainly we can use it to prove it and generalize! Let be the Lebesgue measure, then for a finite sequence of non-negative reals , It's just some standard arguments to show does have the inclusion-exclusion structure. It generalize to allow negative reals by simply add a large enough constant to make them positive, and subtract the constant from the result. Formulas for follows similarly.