A permutation with no fixed points. Applying the inclusion-exclusion principle to the events that each element is fixed gives . Therefore , and the alternating-series remainder is at most .
// Destination: foundations-of-mathematics.bigb
The number of derangements of an -element set satisfies , , and the displayed recurrence relation for . Choose the image of a distinguished element, in ways. If those two elements form a two-cycle, removing them leaves choices. Otherwise remove the distinguished element from its longer permutation cycle, leaving a derangement on elements. The inverse operation inserts it immediately before . Thus the two disjoint cases contribute for each .

Articles by others on the same topic (0)

There are currently no matching articles.