Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2021/discrete-mathematics-continuous-mathematics-and-probability/3/b/solution

For , choose an ordered list of distinct elements: there are such lists. Every -element subset occurs in exactly orders, the number of permutations of its elements. Thus the count is the binomial coefficient
For fixed and , every numerator factor lies between and . Consequently
The constants depend on the fixed , not on . These inequalities prove in big theta notation. More precisely, dividing the product by gives the fixed-cardinality binomial coefficient asymptotic . For , there is exactly one empty subset, and the assertion is .

New to topics? Read the docs here!