Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-4/13i/iii/solution

Represent a function by its graph of Kuratowski ordered pairs. For ,
The bound is attained by , which is a cofinal function into . Taking the rank of the set of all such functions adds one at this attained maximum. Thus . The extra successor is essential: unlike the previous product, this set actually contains a member of rank .

New to topics? Read the docs here!