For finite sets, the inclusion-exclusion principle states
An element present in of the sets is counted times, which explains the alternating corrections.
There are positive integers strictly below divisible by . For the divisors , the single counts are . Their pairwise intersections correspond to divisibility by , giving . The triple intersection has elements. Therefore

Articles by others on the same topic (0)

There are currently no matching articles.